?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
some modification on instpkg
[cmdllinux.git] / scripts / _sh_shell
blob28383f03d77dd98cf51bd6d651673ff87079fa17
1 #! /bin/sh
2
3 #echo $SHELL
4 #$1 $$
5 [ -z "$1" ] && echo "Give shell's pid" && exit 1
6 exec ps -o command= $1
linux distribution