Skip to content

Instantly share code, notes, and snippets.

Avatar

Jan Warchoł jan-warchol

View GitHub Profile
View functions.sh
# GIT heart FZF
# -------------
is_in_git_repo() {
git rev-parse HEAD > /dev/null 2>&1
}
fzf-down() {
fzf --height 50% "$@" --border
}
@jan-warchol
jan-warchol / gist:f7e556267fede72ab41e
Last active Nov 29, 2015 — forked from mbadran/gist:130469
replace cd in bash to (silent) pushd
View gist:f7e556267fede72ab41e
# "cd with history"
#
# Bash has a nice feature called "directory stack" - sort of "location history":
# https://www.gnu.org/software/bash/manual/html_node/The-Directory-Stack.html
# However, I find the built-in commands not really convenient. This makes the
# directory stack available as a sort of extension to `cd` interface.
function _cd {
# typing just `_cd` will take you $HOME ;)
if [ "$1" == "" ]; then
You can’t perform that action at this time.