Home
last modified time | relevance | path

Searched refs:progs_file (Results 1 – 4 of 4) sorted by relevance

/dports/x11-wm/wmii-devel/wmii+ixp-3.9.2/rc/
H A Dsh.wmii111 rm -f $progs_file
154 proglist ${hostenv PATH} >$progs_file
206 Key $MODKEY-p { run_command rc -c "{wmiimenu <$progs_file} & }
260 progs_file=/tmp/proglist.${pid}
/dports/x11-wm/wmii/wmii-3.6/rc/
H A Dsh.wmii112 rm -f $progs_file
154 proglist ${hostenv PATH} >$progs_file
206 Key $MODKEY-p { run_command rc -c "{wmiimenu <$progs_file} & }
260 progs_file=/tmp/proglist.${pid}
H A Drc.wmii.rc105 rm -f $progs_file
152 proglist $PATH >$progs_file
218 key $MODKEY-p || fn $key { ifs=() { run_command `{wmiimenu <$progs_file} & } }
250 progs_file=$WMII_NS_DIR/proglist.$pid
/dports/x11-wm/wmii-devel/wmii+ixp-3.9.2/alternative_wmiircs/plan9port/
H A Dwmiirc74 rm -f $progs_file
150 wi_proglist $PATH >$progs_file}
233 ifs=() { cmd = `{wimenu -h $hist.prog -n $histlen <$progs_file} }
264 progs_file=`{namespace}^/proglist.$pid