Mercurial > hg > chourdakisreiss2018smc
view 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 |
line wrap: on
line source
# This is an automatically generated file. # Please see <file:/usr/share/doc/menu/README> for information. # to use your own menu, copy this to ~/.fluxbox/menu, then edit # ~/.fluxbox/init and change the session.menuFile path to ~/.fluxbox/menu [begin] (Fluxbox) # Automatically generated file. Do not edit (see /usr/share/doc/menu/html/index.html) [submenu] (radioplay-gen) {} [exec] (0 - Setup brat) { x-terminal-emulator -e "cd ~/brat && bash install.sh" } [exec] (1 - Semantic Analysis) { x-terminal-emulator -e "cd ~/chourdakisreiss2018smc/demo/workspace && bash semantic_analysis.sh" } [exec] (2 - Radioplay Render ) { x-terminal-emulator -e "cd ~/chourdakisreiss2018smc/demo/workspace && bash radioplay_render.sh" } [exec] (X - Browse folder) { pcmanfm ~/chourdakisreiss2018smc } [end] [submenu] (Applications) {} [submenu] (Editors) {} [exec] (LeafPad) {/usr/bin/leafpad} </usr/share/pixmaps/leafpad.xpm> [end] [submenu] (Network) {} [submenu] (Web Browsing) {} [exec] (Google Chrome) {/opt/google/chrome/google-chrome} </opt/google/chrome/product_logo_32.xpm> [end] [end] [submenu] (Programming) {} [exec] (Tclsh8.6) { x-terminal-emulator -T "Tclsh8.6" -e /usr/bin/tclsh8.6} <> [exec] (TkWish8.6) {x-terminal-emulator -e /usr/bin/wish8.6} <> [end] [submenu] (Shells) {} [exec] (Bash) { x-terminal-emulator -T "Bash" -e /bin/bash --login} <> [exec] (Dash) { x-terminal-emulator -T "Dash" -e /bin/dash -i} <> [exec] (Sh) { x-terminal-emulator -T "Sh" -e /bin/sh --login} <> [end] [submenu] (System) {} [submenu] (Administration) {} [exec] (Editres) {editres} <> [exec] (Xfontsel) {xfontsel} <> [exec] (Xkill) {xkill} <> [exec] (Xrefresh) {xrefresh} <> [end] [submenu] (Hardware) {} [exec] (Xvidtune) {xvidtune} <> [end] [submenu] (Monitoring) {} [exec] (Top) { x-terminal-emulator -T "Top" -e /usr/bin/top} <> [exec] (Xev) {x-terminal-emulator -e xev} <> [end] [end] [submenu] (Terminal Emulators) {} [exec] (XTerm) {xterm} </usr/share/pixmaps/xterm-color_32x32.xpm> [exec] (XTerm (Unicode\)) {uxterm} </usr/share/pixmaps/xterm-color_32x32.xpm> [end] [end] [submenu] (Window Managers) {} [restart] (FluxBox) {/usr/bin/startfluxbox} [end] [config] (Configuration) [submenu] (Styles) {} [stylesdir] (/usr/share/fluxbox/styles) [stylesdir] (~/.fluxbox/styles) [end] [workspaces] (Workspaces) [reconfig] (Reconfigure) [restart] (Restart) [exit] (Exit) [end]