- North Augusta, SC
Block or Report
Block or report jjwatt
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
Burn Duo-R/PCE-CD/tg16 CD discs in L...
Burn Duo-R/PCE-CD/tg16 CD discs in Linux 1#!/usr/bin/env bash
23_infile="$1"
4_basename="${_infile%%.zip}"
5_tocfile="${_basename}".toc
-
The Y Combinator explained in a runn...
The Y Combinator explained in a runnable Scheme file 1;;; The Y Combinator explained in scheme.
2;;; with credits to:
3;;; https://mvanier.livejournal.com/2897.html
4;;; Status: WIP
5 -
If you're behind a harsh MITM firewa...
If you're behind a harsh MITM firewall trying to use github or gitlab with ssh, it may be blocking port 22 or even inspecting your packets. Luckily, both github and gitlab offer alternative ssh services over port 443. Took a little digging to find that gitlab's is "altssh.gitlab.com," but having these lines in your ~/.ssh/config should make you happy. Use everything as normal and let the ssh client handle using different ports and hostnames based on your config. 1Host gitlab.com
2Hostname altssh.gitlab.com
3Port 443
4User git
5PreferredAuthentications publickey
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.