2009-03-30から1日間の記事一覧
screenに名前をつけて使うときに、その名前のscreenがあるかないか、あったとして、どっかにattachされてるか、detachされてるか、などを考える必要があって、少し不便だったので、なんとかした。 #! /bin/sh s () { if [ -n "$1" ]; then screen -x $1 || s…
screenに名前をつけて使うときに、その名前のscreenがあるかないか、あったとして、どっかにattachされてるか、detachされてるか、などを考える必要があって、少し不便だったので、なんとかした。 #! /bin/sh s () { if [ -n "$1" ]; then screen -x $1 || s…