Este repositorio ha sido archivado en 2022-12-11. Puedes ver archivos y clonarlo, pero no puedes hacer push o abrir incidencias o pull request.
|
[[ -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'`
|