Google Groups Home Help | Sign in
Recent pages and files
Overview    

Home | What's new | Download | FAQ | Forum 

 

 Bash Commander is a traditional GNU bash shell extended with visual two-panel file browser.

 

Features

  • Full bash compatibility
  • Embedded visual file browser
  • Two file panels, turned on and off by pressing ^O
  • Actions and colors configured via .bashrc script
  • Run current file on pressing Enter, configurable via commander_start_file() shell function
  • Perform an action on pressing F1-F20 keys, configurable via commander_fN() shell functions

Get source code

The latest releaased version of Bash Commander is 3.2.33.0. You can download it here: http://downloads.sourceforge.net/bashc/bashc-3.2.33.0.tgz 

 

You can get the current development version of source code from Subversion repository:

  svn co https://bashc.svn.sourceforge.net/svnroot/bashc bashc

Installation

To configure, compile and install Bash Commander, enter the source code directory and run the following commands:
  ./configure
make
make install

Function keys are implemented using dialog utility. Please, install dialog-1.1 or later version from ftp://invisible-island.net/dialog/.

Start commander

When you run bashc, it will behave like an ordinary GNU bash. To enable commander mode, you need to set COMMANDER shell variable. The best way to do it is to source file /usr/local/etc/bash_commander. Try this:
  $ bashc                            <-- on shell prompt, run bash commander
$ . /usr/local/etc/bash_commander <-- on bashc prompt, read commander configuration
$ <-- just press Enter to switch to visual panel mode

When you type a command in visual mode and press Enter, the screen is cleared, command executed and commander switched to line mode. Just press Enter again to return back to panel mode.

 

I recommend you to add a line ". /usr/local/etc/bash_commander" to the end of your ~/.bashrc file. This is safe enough. You could also set bashc as your login shell.

Documentation

 

Version: 
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google