Linux: BASH Shell Misc Tips

By Xah Lee. Date:

How to find the exit code of last shell command?

In bash, echo $? prints the exit code of last command.

when you type kill in terminal, is it calling bash builtin or /bin/kill?

If you are using bash, type type kill to find out.

In Ubuntu 12.04, clearly it's calling the bash version. You can confirm by comparing the output of:

kill -l

/bin/kill -l

How do i start bash without loading any init files?

bash --noprofile --norc

See also: Difference Between .bashrc, .profile, .bash_profile, …?.

How to do set font for xterm?

In xterm, hold Ctrl then right click to change font size. Also, Left and middle click change other options.

Linux Terminal Topic

  1. Linux: Bash Keys, Terminal Keys, Man Page Keys
  2. Linux: Bash Prompt, Add Color, DateTime
  3. Difference Between .bashrc, .profile, .bash_profile, …?
  4. Linux: How to use Virtual Console
  5. Linux: Terminal Control Sequence Keys
  6. Linux: Reset Terminal, Clear Screen History
  7. Linux: tmux Tutorial

  1. Linux: man page: text output, reading non-compressed man page, reading unformatted man page
  2. Linux: Bash Manual in Chapters, Using Emacs for Info
  3. Linux: BASH Shell Misc Tips
  4. Linux: Record a Terminal Session, Logging Shell Output