Last change
on this file was
9750,
checked in by westram, 12 years ago
|
- applied (not merged!) [9668] from gtk_only.
- merge did not work w/o conflicts since the patch mixes gtk-specific changes with general changes (better would have been applied to some non-gtk-branch and then merged into gtk-branch)
- merging and resolving conflicts now would skip unmergeable parts. when gtk is merged someday, these parts would get lost.
|
-
Property svn:eol-style set to
native
-
Property svn:executable set to
*
-
Property svn:keywords set to
Author Date Id Revision
|
File size:
292 bytes
|
Line | |
---|
1 | #!/bin/sh |
---|
2 | host=`uname -n` |
---|
3 | SED=${ARBHOME}/SH/arb_sed |
---|
4 | |
---|
5 | if test -f /usr/ucb/ps; then |
---|
6 | /usr/ucb/ps auxw | grep arb_ | grep -v 'sh' | grep -v grep |grep -v '/bin/sh' | $SED -e "s/^/$host\:/g" |
---|
7 | else |
---|
8 | ps auxw | grep arb_ | grep -v 'sh' | grep -v grep |grep -v '/bin/sh' | $SED -e "s/^/$host\:/g" |
---|
9 | fi |
---|
Note: See
TracBrowser
for help on using the repository browser.