diff --git a/Divers.PcbLib b/Divers.PcbLib index 99460fc08c39d1eb5462bd34404e9b421689dbe6..a87b0068524b9a9eea543ed4f332aae35cbc2703 100644 Binary files a/Divers.PcbLib and b/Divers.PcbLib differ diff --git a/Git-Create-a-new-branch.bat b/Git-Create-a-new-branch.bat index a56986749afec233d6790df5db531fd70bf5a1af..20ff8517db3033ac04efe2bc9ffb5d2e979dff25 100644 --- a/Git-Create-a-new-branch.bat +++ b/Git-Create-a-new-branch.bat @@ -1,46 +1,46 @@ -:: ---------------------------------------------------------------------------------------------------------- -:: >>> 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 diff --git a/Git-Update-and-Clean-all-branch.bat b/Git-Update-and-Clean-all-branch.bat index 6f568b5ea443d335936a216d3ab011c119f90d56..606d9dc1f46cc85d2d25958037e885ca2647466f 100644 --- a/Git-Update-and-Clean-all-branch.bat +++ b/Git-Update-and-Clean-all-branch.bat @@ -1,72 +1,72 @@ -:: ---------------------------------------------------------------------------------------------------------- -:: >>> 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 diff --git a/xargs.cmd b/xargs.cmd index 1cdfca9830cae47028861a6b7c7227bf19ad0acf..3669824d9fff71503caccb54547c4fbab037154b 100644 --- a/xargs.cmd +++ b/xargs.cmd @@ -1,50 +1,50 @@ -:: ---------------------------------------------------------------------------------------------------------- -:: 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