Skip to content

Instantly share code, notes, and snippets.

Jan Warchoł jan-warchol

  • Poland
Block or report user

Report or block jan-warchol

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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.