Coredump

(This is part of an ongoing series on Linux CLI shortcuts and hacks.)

After editing .bashrc and .bash_profile, you can reload the values by running

$ source ~/.bash_profile

Read more:

• CLI shortcuts, 6
• CLI shortcuts
• CLI shortcuts, 2
• CLI shortcuts, 3
• CLI shortcuts, 4