Skip to content

Instantly share code, notes, and snippets.

@lucasmarcos
Last active May 5, 2026 13:20
Show Gist options
  • Select an option

  • Save lucasmarcos/5d67eec93677a72ed77934087c49061a to your computer and use it in GitHub Desktop.

Select an option

Save lucasmarcos/5d67eec93677a72ed77934087c49061a to your computer and use it in GitHub Desktop.
fixes github urls to work on utfpr wi-fi
#!/usr/bin/env nix
#!nix shell nixpkgs#bash nixpkgs#trurl --command bash
if [[ -z "$1" ]]; then
echo "provide a url"
exit
fi
trurl \
--set scheme="ssh" \
--set user="git" \
--set host="ssh.github.com" \
--set port=443 \
--url "$1" \
--get [url].git
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment