Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if [ $(ps -o sess= --pid $$) -ne $$ ]; then # If we are not the session leader...
- exec setsid "$0" "$@" # Become it.
- fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement