Files
config-bash/rc.d/screen
T
xavier 6a53ee36fd chore(rc,profile,aliases,completion,libs,functions): Remove shebangs from sourced files
These files are always sourced (never executed directly), so the
#!/bin/bash shebang is inert and misleading. Drop it consistently
across rc.d/*, profile.d/*, and aliases.d/*.
2026-08-22 00:52:02 +02:00

25 lines
704 B
Plaintext

# GNU Screen stuff
if ( which screen &> /dev/null )
then
if [[ $TERM != screen* ]]
then
if [ "$(screen -ls | sed -ne 's/[[:space:]]//' -ne 's/(Attached)// p')" ]
then
echo ''
echo_reverse 'Il existe des sessions screen attachées sur cette machine pour cet utilisateur !'
echo ''
screen -ls | grep "Attached" | sed -e 's/^/ /'
echo ''
fi
if [ "$(screen -ls | sed -ne 's/[[:space:]]//' -ne 's/(Detached)// p')" ]
then
echo ''
echo_reverse "Il existe des sessions screen détachées sur cette machine pour cet utilisateur !"
echo ''
screen -ls | grep "Detached" | sed -e 's/^/ /'
echo ''
fi
fi
fi