Skip to content

used terminals

gnome terminal

  • gnome-terminal is the default in Linux Mint
  • is prima
  • aangenaam kleurenschema
  • echter, weinig start options

terminator :

  • ! allows for multiple “tiles” in the same window
  • several useful options , such as terminator --working-directory=DIR ; see terminator --help
  • echter , kleurenschema is zwaar en donker
    In terminator, the color palette can be edited in the preferences :
    Right Click in terminal output window > Preferences > Profiles > Colors

used shells

zie : linux shell modules