wok diff openbox/stuff/open-folder-menu.sh @ rev 3333
Depends: ORBit2
author | Matthew Sheets <rcx@zoominternet.net> |
---|---|
date | Wed Jun 10 10:58:34 2009 +0000 (2009-06-10) |
parents | |
children | 372dd84badab |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/openbox/stuff/open-folder-menu.sh Wed Jun 10 10:58:34 2009 +0000 1.3 @@ -0,0 +1,29 @@ 1.4 +#!/bin/sh 1.5 +# 1.6 +# Openbox pipe menu to launch PCmanFM using GTK bookmarks. 1.7 +# 1.8 + 1.9 +echo '<openbox_pipe_menu>' 1.10 + 1.11 +# Home 1.12 +echo '<item label="Home">' 1.13 +echo '<action name="Execute"><execute>' 1.14 +echo "pcmanfm ~" 1.15 +echo '</execute></action></item>' 1.16 + 1.17 +# ~/Desktop 1.18 +echo '<item label="Desktop">' 1.19 +echo '<action name="Execute"><execute>' 1.20 +echo "pcmanfm ~/Desktop" 1.21 +echo '</execute></action></item>' 1.22 + 1.23 +# GTK bookmarks 1.24 +for dir in `sed 's/[ ][^ ]*$//' .gtk-bookmarks` 1.25 +do 1.26 + echo '<item label="'`basename $dir`'">' 1.27 + echo '<action name="Execute"><execute>' 1.28 + echo "pcmanfm $dir" 1.29 + echo '</execute></action></item>' 1.30 +done 1.31 + 1.32 +echo '</openbox_pipe_menu>'