Clik here to view.
Make git-push Easier with a Small Config Change
When pushing to a remote branch, normally you need both a remote and a branch name, like so: $> git push <remote-repo-name> <branch-to-push> Setting a remote repo’s push config to “HEAD”...
View ArticleClik here to view.
Shell Tip: Run an aliased command, ignoring the alias (Solution #0)
How Bash Uses Aliases/Commands First, it will try to find an alias for the given name. If no alias is found, then it will use the first command in your $PATH by the given name. Scenario You set...
View ArticleClik here to view.
Shell Tip: Run an aliased command, ignoring the alias (Solution #1)
How Bash Uses Aliases/Commands First, it will try to find an alias for the given name. If no alias is found, then it will use the first command in your $PATH by the given name. Scenario You set...
View ArticleClik here to view.
Grep Tip: How To Include or Exclude dotfiles
Obligatory Introduction Over the years, cmd options have become engrained in my brain. For grep, they are: grep -Rin (recursive, case-insensitive, line numbers) grep -Ril (recursive, case-insensitive,...
View ArticleClik here to view.
Git Tip: Remove a file from your entire git repo
tl;dr git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch path/to/file' --prune-empty --tag-name-filter cat -- --all Why Do This? Here are a few reasons why you might want to do...
View ArticleClik here to view.
Advanced Bash Keyboard Shortcuts
I strive for efficiency and precision when typing. I do most of my typing in vim and bash (or zsh). Bash has many functions that can be assigned to keyboard shortcuts with the bind command. Using...
View Article