Stores graffy's home directory used for work at IPR (Institut de Physique de Rennes), omitting private files: - ssh configs - scripts (in bin) - bashrc - etc.
Go to file
Guillaume Raffy 366b0a327a added more debug traces to deboco
- deboco now forces the use of debops' --diff flag (provides useful information)
- now the executed debops command is visible in debg traces

work done while working on [https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=4249]
2025-12-18 14:33:11 +01:00
home added more debug traces to deboco 2025-12-18 14:33:11 +01:00
readme.md 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

readme.md

This repository stores the work environment used by graffy at Institut de Physique de Rennes

The work environment includes:

  • a bin directory containing custom scripts
  • bash configuration files
  • etc.

how to use

clone the repository to a chosen location local_repos_path

graffy@graffy-ws2:~/work$ git clone git@vmgit.ipr.univ-rennes.fr:graffy/graffyworkenv.git graffyworkenv.git

then install the environment by creating symbolic links in your home dir that point to some files in the local_repos_path

graffy@graffy-ws2:~$ ln -s ./work/graffyworkenv.git/home/bin ./bin
graffy@graffy-ws2:~$ ln -s ./work/graffyworkenv.git/home/.profile ./.profile
graffy@graffy-ws2:~$ ln -s ./work/graffyworkenv.git/home/.bashrc ./.bashrc
graffy@graffy-ws2:~$ ln -s ./work/graffyworkenv.git/home/.bash_logout ./.bash_logout