Skip to content

Instantly share code, notes, and snippets.

View rionda's full-sized avatar
💭
Data, Algorithms, and Theorems

Matteo Riondato rionda

💭
Data, Algorithms, and Theorems
View GitHub Profile
@yanil3500
yanil3500 / BASH_GUIDE.md
Last active October 1, 2019 06:11
Bash Profile for Remote Host

Adding helpful shortcuts to your bash profile

After ssh-ing into our host, do the following:

  1. Ensure that you are currently in your home directory by running cd ~/.

  2. Run vi ~/.bash_profile. This command translates to "edit this text file in the vim text editor"

  3. Once you're in the text editor, press i to go into insert mode.

  4. Copy/paste the block of code below into your file:

    # reload bash