Update: As of 11 January 2022, git.io no longer accepts new URLs.
Command:
curl https://git.io/ -i -F "url=https://github.com/YOUR_GITHUB_URL" -F "code=YOUR_CUSTOM_NAME"
URLs that can be created is from:
https://github.com/*
https://*.github.com
#!/usr/bin/env bash | |
# Print usage message. | |
usage() { | |
local program_name | |
program_name=${0##*/} | |
cat <<EOF | |
Usage: $program_name [-option] | |
Options: | |
-h Print this message |
#!/usr/bin/env bash | |
# Author: Thomas Goodwin | |
# Company: Geon Technologies | |
# Purpose: Erase all jobs for a given GitLab project. | |
# Arguments: | |
# 1) URL of gitlab project (https://some.server.com/group/[group/]project) | |
# 2) private token (personal access token, impersonation token, etc.) | |
# | |
# Requirements: bash > 4.0, jq |
Update: As of 11 January 2022, git.io no longer accepts new URLs.
Command:
curl https://git.io/ -i -F "url=https://github.com/YOUR_GITHUB_URL" -F "code=YOUR_CUSTOM_NAME"
URLs that can be created is from:
https://github.com/*
https://*.github.com
sudo apt-mark hold package-name
uname -v | awk '{print $6,$5,$4,$8,$7;}' | xargs -I{} date -d "{}" "+%Y-%m-%d"
dpkg --list | grep '^rc' | awk '{ print $2 }' | xargs sudo apt-get purge