Skip to content

Instantly share code, notes, and snippets.

View isaacramthal's full-sized avatar
🎯
Focusing

Isaac Ramthal isaacramthal

🎯
Focusing
View GitHub Profile

Keybase proof

I hereby claim:

  • I am isaacramthal on github.
  • I am isaacramthal (https://keybase.io/isaacramthal) on keybase.
  • I have a public key whose fingerprint is A543 13C2 6369 04E5 0586 9C04 0CE1 EBC4 F6E6 B241

To claim this, I am signing this object:

@isaacramthal
isaacramthal / gist:be7d21aa84364ca89db74692d1dbd4fd
Created July 17, 2018 10:02 — forked from pitch-gist/gist:2999707
HTML: Simple Maintenance Page
<!doctype html>
<title>Site Maintenance</title>
<style>
body { text-align: center; padding: 150px; }
h1 { font-size: 50px; }
body { font: 20px Helvetica, sans-serif; color: #333; }
article { display: block; text-align: left; width: 650px; margin: 0 auto; }
a { color: #dc8100; text-decoration: none; }
a:hover { color: #333; text-decoration: none; }
</style>
@isaacramthal
isaacramthal / refresh.user.js
Last active June 5, 2018 14:36 — forked from lgh06/refresh.user.js
auto refresh with Tampermonkey
// ==UserScript==
// @name css-refresh
// @namespace http://tampermonkey.net/
// @version 0.1
// @description try to take over the world!
// @author You
// @require http://cdn.bootcss.com/crypto-js/3.1.2/rollups/sha1.js
// @match http://m.kankan.com/v/*
// @match http://127.0.0.1:8083/*
// @match http://192.168.28.52:8083/*
@isaacramthal
isaacramthal / Multiple Deploy Keys in GitHub.md
Created February 19, 2018 10:56 — forked from mcfdn/Multiple Deploy Keys in GitHub.md
Using multiple GitHub deploy keys on a single server with a single user

Using multiple GitHub deploy keys on a single server with a single user

Within GitHub it is possible to set up two types of SSH key - account level SSH keys and and repository level SSH keys. These repository level SSH keys are known in GitHub as deploy keys.

Deploy keys are useful for deploying code because they do not rely on an individual user account, which is susceptible to change, to “store” the server keys.

There is, however, an ‘issue’ with using deploy keys; each key across all repositories on GitHub must be unique. No one key can be used more than once. This becomes a problem when deploying to repositories to the same server with the same user. If you create two keys, the SSH client will not know which key to use when connecting to GitHub.

One solution is to use an SSH config file to define which key to use in which situation. This isn’t as easy as it seems.. you might try something like this:

@isaacramthal
isaacramthal / ipcalc-excel.vbs
Created October 12, 2017 10:12 — forked from lantrix/ipcalc-excel.vbs
IP calculator for Excel, LibreOffice and OpenOffice.org - subnet calculator and IP address functions for your spreadsheet - http://trk.free.fr/ipcalc/
' Copyright 2010-2016 Thomas Rohmer-Kretz
' This program is free software: you can redistribute it and/or modify
' it under the terms of the GNU General Public License as published by
' the Free Software Foundation, either version 3 of the License, or
' (at your option) any later version.
' This program is distributed in the hope that it will be useful,
' but WITHOUT ANY WARRANTY; without even the implied warranty of
' MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the