A collection of console terminals in serveral operation systems. For bash command lines, check this note.


  • cmder (drop-down)
  • Windows Terminal

      // ...
      "defaultProfile": "{00000000-0000-0000-ba54-000000000002}",
      // ...
                  // Put settings here that you want to apply to all profiles.
                  // ...
                      "guid": "{00000000-0000-0000-ba54-000000000002}",
                      "acrylicOpacity" : 0.75,
                      "closeOnExit" : true,
                      "colorScheme" : "Campbell",
                      "commandline" : "\"%PROGRAMFILES%\\git\\usr\\bin\\bash.exe\" -i -l",
                      "cursorColor" : "#FFFFFF",
                      "cursorShape" : "bar",
                      "fontFace" : "Consolas",
                      "fontSize" : 12,
                      "historySize" : 9001,
                      "icon" : "ms-appx:///ProfileIcons/{0caa0dad-35be-5f56-a8ff-afceeeaa6101}.png",
                      "name" : "Bash",
                      "padding" : "0, 0, 0, 0",
                      "snapOnInput" : true,
                      "startingDirectory" : "%USERPROFILE%\\Documents\\git",
                      "useAcrylic" : true


  • guake terminal (dropdown)

    • General: check all 3 options in Startup… + Start at login
    • Main Window: stay on top + hide on lose focus + refocus if open
    • Appearance (after installing zsh):
      • Source Code Pro Medium 13 + untick Allow bold…
      • Palette: Tomorrow Night / Solarized + Transparency 0
      • Cursor shape: I-Beam
    • Keyboard:
      • Togllge Guake visibility to Ctrl + ~
      • New tab: Ctrl + T
      • Close tab: Ctrl + W
    • Quick Open: enable.


Install Zsh + oh-my-zsh


# check is installed
zsh --version
# install
sudo apt install zsh
# make zsh default bash
chsh -s $(which zsh) # log out & log in
# check
echo $SHELL # /bin/zsh  or similar
# install oh-my-zsh
sh -c "$(curl -fsSL https://raw.githubusercontent.com/robbyrussell/oh-my-zsh/master/tools/install.sh)"


# zsh-autosuggestions
git clone https://github.com/zsh-users/zsh-autosuggestions ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/plugins/zsh-autosuggestions

# zsh-syntax-highlighting
git clone https://github.com/zsh-users/zsh-syntax-highlighting.git ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/plugins/zsh-syntax-highlighting

After installing plugins, put them in ~/.zshrc,

plugins=(git docker docker-compose zsh-syntax-highlighting dnf npm)
# for me
# plugins=(git docker docker-compose npm ruby python emoji)

spaceship-prompt theme

This is my choice. Source code.

# need to install oh-my-zsh first
git clone https://github.com/denysdovhan/spaceship-prompt.git "$ZSH_CUSTOM/themes/spaceship-prompt"
ln -s "$ZSH_CUSTOM/themes/spaceship-prompt/spaceship.zsh-theme" "$ZSH_CUSTOM/themes/spaceship.zsh-theme"

Set ZSH_THEME="spaceship" in your .zshrc.

powerlevel10k theme

# theme powerlevel10k
git clone https://github.com/romkatv/powerlevel10k.git ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/themes/powerlevel10k
# after installing
p10k configure


Install font Source Code Pro:

  1. Follow instruction here. If some folders don’t exist, create them!
    wget https://github.com/powerline/powerline/raw/develop/font/PowerlineSymbols.otf
    wget https://github.com/powerline/powerline/raw/develop/font/10-powerline-symbols.conf
    mv PowerlineSymbols.otf ~/.local/share/fonts/
    fc-cache -vf ~/.local/share/fonts/
    mv 10-powerline-symbols.conf ~/.config/fontconfig/conf.d/
  2. Download Source Code Pro and move all downloaded otf fonts to
    mv SourceCode-* ~/.local/share/fonts/

Powerline font,

sudo apt-get install fonts-powerline

In terminal, choose the corresponding installed fonts.

Add alias to ~/.zshrc (search “alias” to find the place to put).

alias iserve='bundle exec jekyll serve -I'
alias dserve='bundle exec jekyll serve --draft'
alias serve='bundle exec jekyll serve'
alias build='bundle exec jekyll build'
alias raimon='ssh -p 15424 [email protected]'
alias raimon-notebook='ssh -N -L localhost:8765: [email protected] -p 15424'
alias airflow='ssh -N -p 15424 [email protected] -L -f'
alias dat='cd /home/thi/git/dinhanhthi.com'
alias popai='cd /home/thi/git/dataswati/python-dataswati/popai/'
alias datas-git='cd /home/thi/git/dataswati/git'
alias gitahead='/home/thi/apps/GitAhead/GitAhead&'
alias trello='/home/thi/apps/trello/Trello&'
alias p13='cd /home/thi/git/P13-discuss-group/'
alias tb=taskbook
alias python=python3
alias pip=pip3