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
# GIT heart FZF
# -------------
is_in_git_repo() {
git rev-parse HEAD > /dev/null 2>&1
fzf-down() {
fzf --height 50% "$@" --border
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":
# 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.