Skip to content

Instantly share code, notes, and snippets.

View RobinBoers's full-sized avatar
curious

Robin RobinBoers

curious
View GitHub Profile
@RobinBoers
RobinBoers / GitHubDark.terminal
Created March 11, 2026 18:16
GitHub Dark colorscheme for Terminal.app
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>name</key>
<string>GitHub Dark</string>
<key>BackgroundColor</key>
<dict>
<key>Red Component</key><real>0.051</real>
@RobinBoers
RobinBoers / close.karabinder
Created March 11, 2026 12:09
Ctrl+W => Cmd+W (Close)
{
"description": "Ctrl+W => Cmd+W (Close)",
"manipulators": [
{
"conditions": [
{
"bundle_identifiers": [
"^com\\.microsoft\\.rdc$",
"^com\\.microsoft\\.rdc\\.mac$",
"^com\\.microsoft\\.rdc\\.macos$",
@RobinBoers
RobinBoers / find.karabinder
Created March 11, 2026 12:08
Ctrl+F => Cmd+F (Find)
{
"description": "Ctrl+F => Cmd+F (Find)",
"manipulators": [
{
"conditions": [
{
"bundle_identifiers": [
"^com\\.microsoft\\.rdc$",
"^com\\.microsoft\\.rdc\\.mac$",
"^com\\.microsoft\\.rdc\\.macos$",
@RobinBoers
RobinBoers / focus.karabinder
Created March 11, 2026 12:08
Ctrl+L => Cmd+L (Open url location) (Only in browsers)
{
"description": "Ctrl+L => Cmd+L (Open url location) (Only in browsers)",
"manipulators": [
{
"conditions": [
{
"bundle_identifiers": [
"^org\\.mozilla\\.firefox$",
"^org\\.mozilla\\.firefoxdeveloperedition$",
"^org\\.mozilla\\.nightly$",
@RobinBoers
RobinBoers / reload.karabinder
Created March 11, 2026 12:07
Ctrl+R => Cmd+R (Reload) (Only in browsers)
{
"description": "Ctrl+R => Cmd+R (Reload) (Only in browsers)",
"manipulators": [
{
"conditions": [
{
"bundle_identifiers": [
"^org\\.mozilla\\.firefox$",
"^org\\.mozilla\\.firefoxdeveloperedition$",
"^org\\.mozilla\\.nightly$",
@RobinBoers
RobinBoers / spotlight.karabinder
Created March 11, 2026 12:07
Option launches Spotlight
{
"description": "Option launches Spotlight",
"manipulators": [
{
"from": {
"key_code": "left_option",
"modifiers": { "optional": ["any"] }
},
"to": [{ "key_code": "left_option" }],
"to_if_alone": [
@RobinBoers
RobinBoers / simple.tpl
Last active August 24, 2025 16:31
Caddy file browser template for ftp.dupunkto.org
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<title>Listing {{.Path}}</title>
<style>
@RobinBoers
RobinBoers / pong.py
Created March 15, 2025 13:58
Pong in 85 lines of Python :)
#!/usr/bin/python3
import pygame
s = 80
v = 5
w = 50
h = 300
d = 40
@RobinBoers
RobinBoers / fastasfuck.js
Created March 13, 2025 14:22
Tampermonkey script that disables wait time on wiskunde-examens.nl
// ==UserScript==
// @name Fast as fuck
// @namespace http://tampermonkey.net/
// @version 2025-03-13
// @description Disables wait time on wiskunde-examens.nl
// @author Robijntje
// @match https://www.wiskunde-examens.nl/*
// @icon https://www.google.com/s2/favicons?sz=64&domain=wiskunde-examens.nl
// @grant none
// ==/UserScript==
@RobinBoers
RobinBoers / v2.css
Last active August 24, 2024 20:31
Custom CSS to make Miniflux v1.x look like v2 :)
@import url("/assets/css/app.min.css");
:root {
--font-family:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
--body-color:#333;
--body-background:#fff;
--hr-border-color:#ccc;
--title-color:#333;
--link-color:#3366CC;
--link-focus-color:red;
--link-hover-color:#333;