graffyworkenv

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 0e7309d3b6 adapted cssh to ubuntu 26.04 because gnome changed: ```md 1. What Changed Between Ubuntu 20.04 and 26.04? Ubuntu 20.04 (GNOME 3.36) In older versions of gnome-terminal (e.g., 3.36.x), profiles were automatically registered in the org.gnome.Terminal.ProfilesList schema when they were created via dconf or the GUI. The list key in org.gnome.Terminal.ProfilesList was dynamically updated to include any profile that existed in /org/gnome/terminal/legacy/profiles:/. Result: You could create a profile (e.g., via dconf write), and gnome-terminal would automatically recognize it, even if you didn’t explicitly add it to the list key. Ubuntu 26.04 (GNOME 46+) In newer versions of gnome-terminal (e.g., 3.58.x or later), the list key in org.gnome.Terminal.ProfilesList is now strictly enforced. Profiles must be explicitly added to the list key to be recognized by gnome-terminal. Result: If you create a profile via dconf but don’t add it to the list key, gnome-terminal will ignore it and fall back to the default profile. ``` - took this opportunity to rewrite cssh in python for clarity	2026-06-17 00:25:04 +02:00
home	adapted cssh to ubuntu 26.04	2026-06-17 00:25:04 +02: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

Guillaume Raffy 0e7309d3b6 adapted cssh to ubuntu 26.04

because gnome changed:
```md
1. What Changed Between Ubuntu 20.04 and 26.04?
Ubuntu 20.04 (GNOME 3.36)

In older versions of gnome-terminal (e.g., 3.36.x), profiles were automatically registered in the org.gnome.Terminal.ProfilesList schema when they were created via dconf or the GUI.
The list key in org.gnome.Terminal.ProfilesList was dynamically updated to include any profile that existed in /org/gnome/terminal/legacy/profiles:/.
Result: You could create a profile (e.g., via dconf write), and gnome-terminal would automatically recognize it, even if you didn’t explicitly add it to the list key.
Ubuntu 26.04 (GNOME 46+)

In newer versions of gnome-terminal (e.g., 3.58.x or later), the list key in org.gnome.Terminal.ProfilesList is now strictly enforced.
Profiles must be explicitly added to the list key to be recognized by gnome-terminal.
Result: If you create a profile via dconf but don’t add it to the list key, gnome-terminal will ignore it and fall back to the default profile.
```

- took this opportunity to rewrite cssh in python for clarity

2026-06-17 00:25:04 +02:00

home

adapted cssh to ubuntu 26.04

2026-06-17 00:25:04 +02: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