OLD | NEW |
---|---|
(Empty) | |
1 #!/bin/sh | |
2 dir=`cd ${0%/*} ; pwd` | |
3 root=${0##*/} | |
4 sed -f ${dir}/${root%\.*}.sed | |
Evan Martin
2010/12/14 22:01:53
I think elsewhere we just use `dirname $0`. What
Scott Byer
2010/12/14 22:17:25
I think that my shell-fu needs modernizing. Done.
| |
5 | |
OLD | NEW |