Skip to content

Instantly share code, notes, and snippets.



View GitHub Profile
Bachsau / cli.ini
Last active Jan 13, 2023
Non-patronizing Certbot configuration
View cli.ini
# Certbot configuration by Bachsau
# System
max-log-backups = 0
verbose = 1
# CA settings
#server =
#preferred-chain = ISRG Root X1
Bachsau /
Created Jul 19, 2020
~/.pythonrc to make `exit` work without parentheses
# ~/.pythonrc
# -*- coding: utf-8 -*-
# Make `exit` work without parentheses
import sys
if "site" in sys.modules:
Quitter = type(exit)
Quitter.__str__ = Quitter.__repr__
Quitter.__repr__ = Quitter.__call__
del Quitter
Bachsau /
Last active Jul 18, 2020
Bash history backup script
#!/bin/bash --login
# Make a backup of the user's Bash history
if [ -z "${HISTFILE}" ]; then
cd "${HOME}"
cd "${HISTFILE%/*}"
Bachsau / dwarf_fortress.svg
Last active Mar 1, 2020
Handmade vector icon for Dwarf Fortress
View dwarf_fortress.svg
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Bachsau /
Last active May 27, 2020
A custom exception class that closely resembles Python’s OSError
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
# A custom exception class that closely resembles the behavior of
# Python’s built-in OSError, including arguments and automatic
# subclassing. Useful if a fine-grained error handling based on
# error numbers is needed.
class VirtualOSError(Exception):
"""Base exception for all virtual OS related errors.
Bachsau /
Last active Aug 25, 2020
A simple abstraction of Python’s ConfigParser
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
# A simple abstraction of Python’s ConfigParser.
# It features implicit type conversion and defaults through prior
# registration of settings. It can be used to save and read settings
# without bothering about the specifics of ConfigParser or the INI files
# themselves. It could also serve as a starting point to abstract
# platform-specific saving methods through its general API.
Bachsau / stop_dangerous_names.php
Last active Aug 27, 2020
Stop PHP’s dangerous name handling
View stop_dangerous_names.php
// Stop PHP’s dangerous name handling
function undefined_name_error($errno, $errstr, $errfile='', $errline=0, $errcontext=NULL) {
if (stripos($errstr, 'Undefined') !== false) {
error_log("PHP Fatal error: $errstr in $errfile on line $errline");
else {
return false;