Guillaume Raffy 5bef2d7570 added the ability to make a partial update of a machine ... This is very useful to do quick tests while debugging as the the partial updates can be much faster than a full update. work related to [https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=3814]		2024-04-12 14:38:39 +02:00
..
ansible.vault.ipr.sh	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
cssh	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
deboco	added the ability to make a partial update of a machine	2024-04-12 14:38:39 +02:00
debops.init-machine.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
debops.update-debops.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
debops.update-machine.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
diffBranches.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
make_color.py	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00