diff options
| author | Anselm R. Garbe <arg@suckless.org> | 2007-02-23 10:16:43 +0100 |
|---|---|---|
| committer | Anselm R. Garbe <arg@suckless.org> | 2007-02-23 10:16:43 +0100 |
| commit | 5f436fdcb733cf9c669a0c94ad95878163f04b9a (patch) | |
| tree | fb5479ebd1670cbe3a258a438126d111b6f2d13a | |
| parent | de3463988319271f504b5e3deb13f598470acd0d (diff) | |
added dmenu_path convenience script
| -rw-r--r-- | Makefile | 7 | ||||
| -rwxr-xr-x | dmenu_path | 2 |
2 files changed, 6 insertions, 3 deletions
@@ -32,7 +32,7 @@ clean: dist: clean @echo creating dist tarball @mkdir -p dmenu-${VERSION} - @cp -R LICENSE Makefile README config.mk dmenu.1 dmenu.h ${SRC} dmenu-${VERSION} + @cp -R LICENSE Makefile README config.mk dmenu.1 dmenu.h dmenu_path ${SRC} dmenu-${VERSION} @tar -cf dmenu-${VERSION}.tar dmenu-${VERSION} @gzip dmenu-${VERSION}.tar @rm -rf dmenu-${VERSION} @@ -40,8 +40,9 @@ dist: clean install: all @echo installing executable file to ${DESTDIR}${PREFIX}/bin @mkdir -p ${DESTDIR}${PREFIX}/bin - @cp -f dmenu ${DESTDIR}${PREFIX}/bin + @cp -f dmenu dmenu_path ${DESTDIR}${PREFIX}/bin @chmod 755 ${DESTDIR}${PREFIX}/bin/dmenu + @chmod 755 ${DESTDIR}${PREFIX}/bin/dmenu_path @echo installing manual page to ${DESTDIR}${MANPREFIX}/man1 @mkdir -p ${DESTDIR}${MANPREFIX}/man1 @sed "s/VERSION/${VERSION}/g" < dmenu.1 > ${DESTDIR}${MANPREFIX}/man1/dmenu.1 @@ -49,7 +50,7 @@ install: all uninstall: @echo removing executable file from ${DESTDIR}${PREFIX}/bin - @rm -f ${DESTDIR}${PREFIX}/bin/dmenu + @rm -f ${DESTDIR}${PREFIX}/bin/dmenu ${DESTDIR}${PREFIX}/bin/dmenu_path @echo removing manual page from ${DESTDIR}${MANPREFIX}/man1 @rm -f ${DESTDIR}${MANPREFIX}/man1/dmenu.1 diff --git a/dmenu_path b/dmenu_path new file mode 100755 index 0000000..3070eb7 --- /dev/null +++ b/dmenu_path @@ -0,0 +1,2 @@ +#!/bin/sh +/bin/ls -lL `echo $PATH | tr : ' '` 2> /dev/null | awk '$1 ~ /^[^d].*x/ { print $NF }' | /usr/bin/sort -u |