2023-06-04 07:12:58 +02:00
|
|
|
# curl
|
|
|
|
function reveal-url {
|
|
|
|
curl "$1" -IL --silent | grep 'location: '
|
|
|
|
}
|
|
|
|
|
|
|
|
# zsh
|
|
|
|
command_not_found_handler() {
|
|
|
|
>&2 echo "bruh wtf is \"${1}\" o_O"
|
|
|
|
return 127
|
|
|
|
}
|
|
|
|
|
2023-06-17 16:55:04 +02:00
|
|
|
# sh
|
|
|
|
set-display() {
|
|
|
|
export DISPLAY=":${1:-1}"
|
|
|
|
}
|
|
|
|
|