This repository has been archived on 2022-12-11. You can view files and clone it, but cannot push or open issues or pull requests.
|
. $HOME/.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'`
|