graffyworkenv/home/bin
Guillaume Raffy 332a3946d4 made deboco's output preserve ansi colors
- as a result, it's much easier to spot changes and errors in the output

work done when working on [https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=4069]
2025-05-23 18:27:45 +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 made deboco's output preserve ansi colors 2025-05-23 18:27:45 +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 gave a better self explaining name to the directory hosting the tickets details repository (to avoid a possible confusion with the tickets themselves) 2024-06-27 10:39:17 +02:00