wmii/rc/extern

mirror of https://github.com/0intro/wmii synced 2024-12-17 17:12:57 +03:00
#!9PREFIX/bin/rc
# clean the environment and execute the given command

PATH=$OLD_PATH
OLD_PATH=()
wmiircpid=()
apid=()
home=()
ifs=()
pid=()
prompt=()
rcname=()
status=()

exec $*
added initial files 2005-11-18 18:54:58 +03:00			`#!9PREFIX/bin/rc`
			`# clean the environment and execute the given command`

			`PATH=$OLD_PATH`
			`OLD_PATH=()`
removing unnecessary -$DISPLAY extension from pidfiles 2006-02-10 23:26:16 +03:00			`wmiircpid=()`
added initial files 2005-11-18 18:54:58 +03:00			`apid=()`
			`home=()`
			`ifs=()`
			`pid=()`
			`prompt=()`
			`rcname=()`
			`status=()`

			`exec $*`