Skip to content

Instantly share code, notes, and snippets.

View salehahr's full-sized avatar
🌘
EOL

salehahr

🌘
EOL
View GitHub Profile
@salehahr
salehahr / beamer-slides-with-notes.pdf
Created September 10, 2021 07:22 — forked from andrejbauer/beamer-slides-with-notes.pdf
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@salehahr
salehahr / using-multiple-github-accounts-with-ssh-keys.md
Created March 5, 2021 09:51 — forked from oanhnn/using-multiple-github-accounts-with-ssh-keys.md
Using multiple github accounts with ssh keys

Problem

I have two Github accounts: oanhnn (personal) and superman (for work). I want to use both accounts on same computer (without typing password everytime, when doing git push or pull).

Solution

Use ssh keys and define host aliases in ssh config file (each alias for an account).

How to?

  1. Generate ssh key pairs for accounts and add them to GitHub accounts.
@salehahr
salehahr / delete_git_submodule.md
Created September 6, 2020 06:47 — forked from myusuf3/delete_git_submodule.md
How effectively delete a git submodule.

To remove a submodule you need to:

  • Delete the relevant section from the .gitmodules file.
  • Stage the .gitmodules changes git add .gitmodules
  • Delete the relevant section from .git/config.
  • Run git rm --cached path_to_submodule (no trailing slash).
  • Run rm -rf .git/modules/path_to_submodule (no trailing slash).
  • Commit git commit -m "Removed submodule "
  • Delete the now untracked submodule files rm -rf path_to_submodule