Ce dépôt a été archivé le 2022-12-11. Vous pouvez voir ses fichiers ou le cloner, mais pas ouvrir de ticket ou de demandes d'ajout, ni soumettre de changements.
|
[[ -f ~/.bashrc ]] && . ~/.bashrc
|
|
|
|
# Create variable GENERAL_SCREEN which is the pid of one or more screens called "general"
|
|
export GENERAL_SCREEN=`screen -ls | grep general | cut -f1 -d'.' | sed 's/\W//g'`
|