annotate fluxbox-menu @ 13:16066f0a7127 tip

fixed the problem with brat
author Emmanouil Theofanis Chourdakis <e.t.chourdakis@qmul.ac.uk>
date Sat, 08 Dec 2018 11:02:40 +0000
parents 30648126316b
children
rev   line source
e@9 1 # This is an automatically generated file.
e@9 2 # Please see <file:/usr/share/doc/menu/README> for information.
e@9 3
e@9 4 # to use your own menu, copy this to ~/.fluxbox/menu, then edit
e@9 5 # ~/.fluxbox/init and change the session.menuFile path to ~/.fluxbox/menu
e@9 6
e@9 7 [begin] (Fluxbox)
e@9 8
e@9 9 # Automatically generated file. Do not edit (see /usr/share/doc/menu/html/index.html)
e@9 10
e@9 11 [submenu] (radioplay-gen) {}
e@9 12 [exec] (0 - Setup brat) { x-terminal-emulator -e "cd ~/brat && bash install.sh" }
e@9 13 [exec] (1 - Semantic Analysis) { x-terminal-emulator -e "cd ~/chourdakisreiss2018smc/demo/workspace && bash semantic_analysis.sh" }
e@9 14 [exec] (2 - Radioplay Render ) { x-terminal-emulator -e "cd ~/chourdakisreiss2018smc/demo/workspace && bash radioplay_render.sh" }
e@9 15 [exec] (X - Browse folder) { pcmanfm ~/chourdakisreiss2018smc }
e@9 16 [end]
e@9 17 [submenu] (Applications) {}
e@9 18 [submenu] (Editors) {}
e@9 19 [exec] (LeafPad) {/usr/bin/leafpad} </usr/share/pixmaps/leafpad.xpm>
e@9 20 [end]
e@9 21 [submenu] (Network) {}
e@9 22 [submenu] (Web Browsing) {}
e@9 23 [exec] (Google Chrome) {/opt/google/chrome/google-chrome} </opt/google/chrome/product_logo_32.xpm>
e@9 24 [end]
e@9 25 [end]
e@9 26 [submenu] (Programming) {}
e@9 27 [exec] (Tclsh8.6) { x-terminal-emulator -T "Tclsh8.6" -e /usr/bin/tclsh8.6} <>
e@9 28 [exec] (TkWish8.6) {x-terminal-emulator -e /usr/bin/wish8.6} <>
e@9 29 [end]
e@9 30 [submenu] (Shells) {}
e@9 31 [exec] (Bash) { x-terminal-emulator -T "Bash" -e /bin/bash --login} <>
e@9 32 [exec] (Dash) { x-terminal-emulator -T "Dash" -e /bin/dash -i} <>
e@9 33 [exec] (Sh) { x-terminal-emulator -T "Sh" -e /bin/sh --login} <>
e@9 34 [end]
e@9 35 [submenu] (System) {}
e@9 36 [submenu] (Administration) {}
e@9 37 [exec] (Editres) {editres} <>
e@9 38 [exec] (Xfontsel) {xfontsel} <>
e@9 39 [exec] (Xkill) {xkill} <>
e@9 40 [exec] (Xrefresh) {xrefresh} <>
e@9 41 [end]
e@9 42 [submenu] (Hardware) {}
e@9 43 [exec] (Xvidtune) {xvidtune} <>
e@9 44 [end]
e@9 45 [submenu] (Monitoring) {}
e@9 46 [exec] (Top) { x-terminal-emulator -T "Top" -e /usr/bin/top} <>
e@9 47 [exec] (Xev) {x-terminal-emulator -e xev} <>
e@9 48 [end]
e@9 49 [end]
e@9 50 [submenu] (Terminal Emulators) {}
e@9 51 [exec] (XTerm) {xterm} </usr/share/pixmaps/xterm-color_32x32.xpm>
e@9 52 [exec] (XTerm (Unicode\)) {uxterm} </usr/share/pixmaps/xterm-color_32x32.xpm>
e@9 53 [end]
e@9 54 [end]
e@9 55
e@9 56 [submenu] (Window Managers) {}
e@9 57 [restart] (FluxBox) {/usr/bin/startfluxbox}
e@9 58 [end]
e@9 59
e@9 60 [config] (Configuration)
e@9 61 [submenu] (Styles) {}
e@9 62 [stylesdir] (/usr/share/fluxbox/styles)
e@9 63 [stylesdir] (~/.fluxbox/styles)
e@9 64 [end]
e@9 65
e@9 66 [workspaces] (Workspaces)
e@9 67 [reconfig] (Reconfigure)
e@9 68 [restart] (Restart)
e@9 69 [exit] (Exit)
e@9 70
e@9 71 [end]