2014-10-17 17:16:12 -04:00
|
|
|
# By design, this file has no shebang line.
|
2016-02-28 21:01:27 -05:00
|
|
|
set -e
|
2014-10-17 17:16:12 -04:00
|
|
|
|
|
|
|
# Assuming that urchin was invoked with `-s bash`, this script should be being run with bash.
|
|
|
|
|
2016-02-28 21:01:27 -05:00
|
|
|
this_shell=$(ps -o pid,comm | sed -n "s/^ *$$//p" | cut -d\ -f2)
|
2014-10-17 17:16:12 -04:00
|
|
|
|
|
|
|
echo "Running shell: $this_shell"
|
|
|
|
|
2016-02-28 21:01:27 -05:00
|
|
|
basename "$this_shell" | grep .special-shell
|