Guillaume Raffy 20bac19c84 changed the location of debops environment file so that debops always uses it ... fixes https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=3719		2023-12-13 11:19:33 +01: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	changed the location of debops environment file so that debops always uses it	2023-12-13 11:19:33 +01: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