modif PCB relais CMS (largeur et longueur)

Git-Create-a-new-branch.bat

-:: ----------------------------------------------------------------------------------------------------------
-::                       >>> SCE Laplace - Service Commun d'Electronique du Laplace <<<
-:: ----------------------------------------------------------------------------------------------------------
-:: Laboratoire plasma et conversion d’énergie - UMR5213
-:: http://www.laplace.univ-tlse.fr/
-:: © 2022 Laplace - CNRS/INPT/UPS
-:: Créer le 2022-10-02, dernière mise à jour le 2022-10-03
-:: par Arnauld Biganzoli <arnauld.biganzoli@laplace.univ-tlse.fr>
-::
-:: Description :
-:: Fichier batch scipt Windows pour créer une branche de travail dans votre repository Git.
-
-
-@REM ----------------------------------------------------------------------------------------------------------
-@REM Préparation de la fenêtre cmd
-@REM ----------------------------------------------------------------------------------------------------------
-@echo off
-cls
-
-@REM Définir le titre affiché dans la fenêtre de la console.
-title Creer une nouvelle branche de travail
-
-@REM Definition des variables en local
-setlocal EnableExtensions EnableDelayedExpansion
-
-if exist .git (
-    echo Creation d'une branche de travail pour votre repository local
-    echo -------------------------------------------------------------
-    echo.
-
-    @REM Nom de la nouvelle branche
-    set new_branch_name=%USERNAME%_%date:~6,4%%date:~3,2%%date:~0,2%
-    @REM https://git-scm.com/docs/git-switch
-    git switch -c !new_branch_name!
-    echo La branche "!new_branch_name!" est maintenant active
-    
-) else (
-    echo Vous n'etes pas a la racine d'un repository.
-)
-
-echo.
-
-pause
-
-@REM End of batch program.
-exit
+:: ----------------------------------------------------------------------------------------------------------
+::                       >>> SCE Laplace - Service Commun d'Electronique du Laplace <<<
+:: ----------------------------------------------------------------------------------------------------------
+:: Laboratoire plasma et conversion d’énergie - UMR5213
+:: http://www.laplace.univ-tlse.fr/
+:: © 2022 Laplace - CNRS/INPT/UPS
+:: Créer le 2022-10-02, dernière mise à jour le 2022-10-03
+:: par Arnauld Biganzoli <arnauld.biganzoli@laplace.univ-tlse.fr>
+::
+:: Description :
+:: Fichier batch scipt Windows pour créer une branche de travail dans votre repository Git.
+
+
+@REM ----------------------------------------------------------------------------------------------------------
+@REM Préparation de la fenêtre cmd
+@REM ----------------------------------------------------------------------------------------------------------
+@echo off
+cls
+
+@REM Définir le titre affiché dans la fenêtre de la console.
+title Creer une nouvelle branche de travail
+
+@REM Definition des variables en local
+setlocal EnableExtensions EnableDelayedExpansion
+
+if exist .git (
+    echo Creation d'une branche de travail pour votre repository local
+    echo -------------------------------------------------------------
+    echo.
+
+    @REM Nom de la nouvelle branche
+    set new_branch_name=%USERNAME%_%date:~6,4%%date:~3,2%%date:~0,2%
+    @REM https://git-scm.com/docs/git-switch
+    git switch -c !new_branch_name!
+    echo La branche "!new_branch_name!" est maintenant active
+    
+) else (
+    echo Vous n'etes pas a la racine d'un repository.
+)
+
+echo.
+
+pause
+
+@REM End of batch program.
+exit

Git-Update-and-Clean-all-branch.bat

-:: ----------------------------------------------------------------------------------------------------------
-::                       >>> SCE Laplace - Service Commun d'Electronique du Laplace <<<
-:: ----------------------------------------------------------------------------------------------------------
-:: Laboratoire plasma et conversion d’énergie - UMR5213
-:: http://www.laplace.univ-tlse.fr/
-:: © 2022 Laplace - CNRS/INPT/UPS
-:: Créer le 2022-10-02, dernière mise à jour le 2022-10-03
-:: par Arnauld Biganzoli <arnauld.biganzoli@laplace.univ-tlse.fr>
-::
-:: Description :
-:: Fichier batch, scipt Windows pour mettre à jour votre repository Git et nettoyer les branches locales et remotes.
-:: Rebase sur la branche main par defaut
-
-
-@REM ----------------------------------------------------------------------------------------------------------
-@REM Préparation de la fenêtre cmd
-@REM ----------------------------------------------------------------------------------------------------------
-@echo off
-cls
-
-@REM Définir le titre affiché dans la fenêtre de la console.
-title MAJ des branches du repository
-
-@REM Definition des variables en local
-setlocal EnableExtensions EnableDelayedExpansion
-
-if exist .git (
-    echo Mise a jour de vos branches
-    echo ---------------------------
-    echo.
-
-    @REM git fetch origin --prune && git pull
-    git fetch origin --prune
-    git merge
-    git branch --all --verbose
-    echo.
-
-    @REM On regarde sur quelle branche on est et on revient sur main
-    set current_branch=
-    for /F "delims=" %%n in ('git branch --show-current') do set "current_branch=%%n"
-
-    @REM echo Switch sur la branche courante main
-    if "%current_branch%"=="main" (
-        echo Verification de la branche courante, on est bien sur main
-    ) else if "%current_branch%"=="master" (
-        echo Verification de la branche courante, on est sur master au lieu de main
-    ) else (
-        echo Basculement de la branche %current_branch% vers main
-        git switch main
-    )
-
-    echo.
-    set current_path=%~dp0
-    echo Vous etes ici !current_path!xargs.cmd
-
-    if exist xargs.cmd (
-        git branch --merged | xargs git branch -d
-    ) else (
-        echo Le fichier "xargs" ne semble pas present dans ce repository
-    )
-
-) else (
-    echo Vous n'etes pas a la racine d'un repository.
-)
-
-echo.
-
-pause
-
-endlocal
-@REM End of batch program.
-exit
+:: ----------------------------------------------------------------------------------------------------------
+::                       >>> SCE Laplace - Service Commun d'Electronique du Laplace <<<
+:: ----------------------------------------------------------------------------------------------------------
+:: Laboratoire plasma et conversion d’énergie - UMR5213
+:: http://www.laplace.univ-tlse.fr/
+:: © 2022 Laplace - CNRS/INPT/UPS
+:: Créer le 2022-10-02, dernière mise à jour le 2022-10-03
+:: par Arnauld Biganzoli <arnauld.biganzoli@laplace.univ-tlse.fr>
+::
+:: Description :
+:: Fichier batch, scipt Windows pour mettre à jour votre repository Git et nettoyer les branches locales et remotes.
+:: Rebase sur la branche main par defaut
+
+
+@REM ----------------------------------------------------------------------------------------------------------
+@REM Préparation de la fenêtre cmd
+@REM ----------------------------------------------------------------------------------------------------------
+@echo off
+cls
+
+@REM Définir le titre affiché dans la fenêtre de la console.
+title MAJ des branches du repository
+
+@REM Definition des variables en local
+setlocal EnableExtensions EnableDelayedExpansion
+
+if exist .git (
+    echo Mise a jour de vos branches
+    echo ---------------------------
+    echo.
+
+    @REM git fetch origin --prune && git pull
+    git fetch origin --prune
+    git merge
+    git branch --all --verbose
+    echo.
+
+    @REM On regarde sur quelle branche on est et on revient sur main
+    set current_branch=
+    for /F "delims=" %%n in ('git branch --show-current') do set "current_branch=%%n"
+
+    @REM echo Switch sur la branche courante main
+    if "%current_branch%"=="main" (
+        echo Verification de la branche courante, on est bien sur main
+    ) else if "%current_branch%"=="master" (
+        echo Verification de la branche courante, on est sur master au lieu de main
+    ) else (
+        echo Basculement de la branche %current_branch% vers main
+        git switch main
+    )
+
+    echo.
+    set current_path=%~dp0
+    echo Vous etes ici !current_path!xargs.cmd
+
+    if exist xargs.cmd (
+        git branch --merged | xargs git branch -d
+    ) else (
+        echo Le fichier "xargs" ne semble pas present dans ce repository
+    )
+
+) else (
+    echo Vous n'etes pas a la racine d'un repository.
+)
+
+echo.
+
+pause
+
+endlocal
+@REM End of batch program.
+exit

xargs.cmd

-:: ----------------------------------------------------------------------------------------------------------
-:: Script permettant l'utilisation de xargs en ligne de commande
-:: ----------------------------------------------------------------------------------------------------------
-:: https://superuser.com/questions/652492/windows-equivalent-to-xargs
-:: Le fichier xargs doit se trouver dans le répertoire où l'on souhaite l'utiliser.
-::
-:: Exemmple :
-:: Supprime sur le repo local toutes les branches qui ont été mergée dans une autre branche.
-:: git branch --merged | xargs git branch -d
-::
-:: Source :
-:: https://helloacm.com/simple-xargs-batch-implementation-for-windows/
-
-
-@echo off
-setlocal enabledelayedexpansion
-
-set args=
-set file='more'
-
-:: read from file
-if "%1" == "-a" (
-    if "%2" == "" (
-        echo Correct Usage: %0 -a Input.txt command
-        goto end
-    )
-    set file=%2
-    shift
-    shift
-    goto start
-)
-
-:: read from stdin
-set args=%1
-shift
-
-:start
-    if [%1] == [] goto start1
-    set args=%args% %1
-    shift
-    goto start
-
-:start1
-    for /F "tokens=*" %%a in (!file!) do (
-        %args% %%a
-    )
-
-:end
-endlocal
+:: ----------------------------------------------------------------------------------------------------------
+:: Script permettant l'utilisation de xargs en ligne de commande
+:: ----------------------------------------------------------------------------------------------------------
+:: https://superuser.com/questions/652492/windows-equivalent-to-xargs
+:: Le fichier xargs doit se trouver dans le répertoire où l'on souhaite l'utiliser.
+::
+:: Exemmple :
+:: Supprime sur le repo local toutes les branches qui ont été mergée dans une autre branche.
+:: git branch --merged | xargs git branch -d
+::
+:: Source :
+:: https://helloacm.com/simple-xargs-batch-implementation-for-windows/
+
+
+@echo off
+setlocal enabledelayedexpansion
+
+set args=
+set file='more'
+
+:: read from file
+if "%1" == "-a" (
+    if "%2" == "" (
+        echo Correct Usage: %0 -a Input.txt command
+        goto end
+    )
+    set file=%2
+    shift
+    shift
+    goto start
+)
+
+:: read from stdin
+set args=%1
+shift
+
+:start
+    if [%1] == [] goto start1
+    set args=%args% %1
+    shift
+    goto start
+
+:start1
+    for /F "tokens=*" %%a in (!file!) do (
+        %args% %%a
+    )
+
+:end
+endlocal
 exit
\ No newline at end of file