Skip to content

Instantly share code, notes, and snippets.

View theendofline's full-sized avatar
🏠
Working from home

Arsen Shlianin theendofline

🏠
Working from home
View GitHub Profile
@moisei
moisei / cleanup docker registry
Created November 18, 2020 00:32
cleanup docker registry. delete all the tags from the list of the repositories
# inspired by the https://gist.github.com/jaytaylor/86d5efaddda926a25fa68c263830dac1
registry="http://${registry_user}:${registry_passwd}@${registry_url}/v2"
for repo in `cat repos-todel`; do
for tag in $(curl -sSL "${registry}/${repo}/tags/list" | jq -r '.tags[]?'); do
tagURL="${registry}/${repo}/manifests/${tag}"
sha256=$(curl -H "Accept: application/vnd.docker.distribution.manifest.v2+json" -sSL -I ${tagURL} | awk '$1 == "Docker-Content-Digest:" { print $2 }' | tr -d $'\r')
deleteURL="${registry}/${repo}/manifests/${sha256}"
echo $deleteURL
# curl -v -sSL -X DELETE $deleteUR
done
@mohanpedala
mohanpedala / bash_strict_mode.md
Last active November 15, 2025 02:15
set -e, -u, -o, -x pipefail explanation
@0xjac
0xjac / private_fork.md
Last active November 15, 2025 22:02
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

@jexchan
jexchan / multiple_ssh_setting.md
Created April 10, 2012 15:00
Multiple SSH keys for different github accounts

Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git

$ ssh-keygen -t rsa -C "[email protected]"