Skip to content

Instantly share code, notes, and snippets.

Avatar
🏠
Working from home

Miron miron

🏠
Working from home
View GitHub Profile
@miron
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
miron / run.sh
Last active Oct 1, 2020 — forked from russjones/run.sh
teleport enhanced session recording (bpf)
View run.sh
#!/bin/bash
set -euo pipefail
RELEASE="teleport-v4.2.3-linux-amd64-bin.tar.gz"
if [[ $EUID -ne 0 ]]; then
echo "--> Please run this script as root or sudo."
exit 1
fi