Skip to content

Instantly share code, notes, and snippets.

Working from home

Miron miron

Working from home
View GitHub Profile
miron / gist:962b5943073dd0a88b204f0360b51f8a
Created Oct 6, 2020 — forked from lttlrck/gist:9628955
rename git branch locally and remotely
View gist:962b5943073dd0a88b204f0360b51f8a
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
miron /
Last active Oct 1, 2020 — forked from russjones/
teleport enhanced session recording (bpf)
set -euo pipefail
if [[ $EUID -ne 0 ]]; then
echo "--> Please run this script as root or sudo."
exit 1