diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | tabbed.desktop | 8 |
2 files changed, 10 insertions, 0 deletions
@@ -53,6 +53,7 @@ install: all @chmod 644 "${DESTDIR}${MANPREFIX}/man1/tabbed.1" @sed "s/VERSION/${VERSION}/g" < xembed.1 > "${DESTDIR}${MANPREFIX}/man1/xembed.1" @chmod 644 "${DESTDIR}${MANPREFIX}/man1/xembed.1" + cp -f tabbed.desktop $(DESTDIR)$(PREFIX)/share/applications uninstall: @echo removing executable files from ${DESTDIR}${PREFIX}/bin @@ -61,5 +62,6 @@ uninstall: @echo removing manual pages from ${DESTDIR}${MANPREFIX}/man1 @rm -f "${DESTDIR}${MANPREFIX}/man1/tabbed.1" @rm -f "${DESTDIR}${MANPREFIX}/man1/xembed.1" + rm -f $(DESTDIR)$(PREFIX)/share/applications/tabbed.desktop .PHONY: all options clean dist install uninstall diff --git a/tabbed.desktop b/tabbed.desktop new file mode 100644 index 0000000..cd35917 --- /dev/null +++ b/tabbed.desktop @@ -0,0 +1,8 @@ +[Desktop Entry] +Name=st +Comment=Run st simple terminal inside a tabbed session +Exec=tabbed -p 1 -c -r 2 st -w '' -e /bin/bash --login +Icon=utilities-terminal +Terminal=false +Type=Application +Categories=System;TerminalEmulator; |