Guillaume Raffy ca9d7e4a47 added ticman, a tool to manage ipr ticket details repository ... fixes [https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=3882]		2024-06-26 18:26:56 +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
ticman	added ticman, a tool to manage ipr ticket details repository	2024-06-26 18:26:56 +02:00