Skip to content

Instantly share code, notes, and snippets.

View rn7s2's full-sized avatar

R. Kason LEI rn7s2

View GitHub Profile
@rn7s2
rn7s2 / gitssh.md
Created January 25, 2024 23:50 — forked from sn0wcat/gitssh.md
Using git / ssh through http proxy on windows

Using git / ssh through http proxy on windows

If you are moving your development machine from an unrestricted to a restricted network and back, the chances are high that you will have problems using ssh or git dependent on the network where your computer is currently set up.

A good way to circumvent this is to use a local development proxy (like fiddler) on your computer and to tunnel all connections through it.

For example I am running fiddler on my machine on port 8888 (accepting external connections) and I am using the following setup:

@rn7s2
rn7s2 / gym_to_gif.py
Created December 4, 2023 07:22 — forked from botforge/gym_to_gif.py
Save OpenAI Gym renders as GIFS
from matplotlib import animation
import matplotlib.pyplot as plt
import gym
"""
Ensure you have imagemagick installed with
sudo apt-get install imagemagick
Open file in CLI with:
xgd-open <filelname>
@rn7s2
rn7s2 / Firefox.MSEdge.smoothscroll
Created July 9, 2023 16:37 — forked from z3oc/Firefox.MSEdge.smoothscroll
Firefox -> MS Edge flavor smooth scroll
general.smoothScroll.msdPhysics.continuousMotionMaxDeltaMS;250
general.smoothScroll.msdPhysics.enabled;true
general.smoothScroll.msdPhysics.motionBeginSpringConstant;450
general.smoothScroll.msdPhysics.regularSpringConstant;450
general.smoothScroll.msdPhysics.slowdownMinDeltaMS;50