🏗️(bin) merge duplicated folders scripts and bin

Few scripts were duplicated between the scripts and the bin folders.
Reorganize the scripts in a common folder, and align filenames to
follow the same rule.
This commit is contained in:
lebaudantoine
2024-08-05 16:20:47 +02:00
committed by aleb_the_flash
parent 8f59b08088
commit aef85bb1ab
4 changed files with 0 additions and 3 deletions

4
bin/update-git-submodule.sh Executable file
View File

@@ -0,0 +1,4 @@
#!/bin/bash
git submodule update --init --recursive
git submodule foreach 'git fetch origin; git checkout $(git rev-parse --abbrev-ref HEAD); git reset --hard origin/$(git rev-parse --abbrev-ref HEAD); git submodule update --recursive; git clean -dfx'