Erik Martin-Dorel erikmd

Install

Either copy the aliases from the .gitconfig or run the commands in add-pr-alias.sh

Easily checkout local copies of pull requests from remotes:

git pr 4 - creates local branch pr/4 from the github upstream(if it exists) or origin remote and checks it out
git pr 4 someremote - creates local branch pr/4 from someremote remote and checks it out

A "shall" or "shall not" requirement that appears outside of a constraint is violated (clause 4).
A nonempty source file does not end in a new-line character which is not immediately preceded by a backslash character or ends in a partial preprocessing token or comment (5.1.1.2).
Token concatenation produces a character sequence matching the syntax of a universal character name (5.1.1.2).
A program in a hosted environment does not define a function named main using one of the specified forms (5.1.2.2.1).
A character not in the basic source character set is encountered in a source file, except in an identifier, a character constant, a string literal, a header name, a comment, or a preprocessing token that is never converted to a token (5.2.1).
An identifier, comment, string literal, character constant, or header name contains an invalid multibyte character or does not

https://gyazo.com/eb5c5741b6a9a16c692170a41a49c858.png

GNOME's tracker is a CPU and privacy hog. There's a pretty good case as to why it's neither useful nor necessary here: http://lduros.net/posts/tracker-sucks-thanks-tracker/

After discovering it chowing 2 cores, I decided to go about disabling it.

Directories

	/! normalize.css v2.1.3 \| MIT License \| git.io/normalize /

	/* ==========================================================================
	HTML5 display definitions
	========================================================================== */

	/**
	* Correct `block` display not defined in IE 8/9.
	*/

	#!/bin/bash
	# Author: Maxwel Leite
	# Website: http://needforbits.wordpress.com/
	# Description: Script to install Microsoft Vista TrueType Fonts (TTF) aka Microsoft’s ClearType fonts on Ubuntu distros
	# Microsoft added a group of new "ClearType Fonts" to Windows with Windows Vista and Office 2007.
	# These fonts are named Constantia, Corbel, Calibri, Cambria (and Cambria Math), Candara, and Consolas.
	# Calibri became the default font on Microsoft Word 2007, and it’s still the default font on Word 2016 today.
	# Dependencies: wget, fontforge and cabextract
	# Note: Microsoft no longer provides the PowerPoint Viewer 2007 (v12.0.4518.1014) or any version anymore for download
	# Tested: Ubuntu Saucy/Trusty/Xenial/Bionic

	# Latex Makefile using latexmk
	# Modified by Dogukan Cagatay <[email protected]>
	# Originally from : http://tex.stackexchange.com/a/40759
	#
	# Change only the variable below to the name of the main tex file.
	PROJNAME=main

	# You want latexmk to always run, because make does not have all the info.
	# Also, include non-file targets in .PHONY so they are run regardless of any
	# file of the given name existing.

	(*
	Interactive approach
	--------------------

	You can copy-paste code into `utop`, provided you load the lwt.unix
	package:

	#use "topfind";;
	#thread;; (* only needed in the plain `ocaml` toplevel, not in `utop`. *)
	#require "lwt.unix";;

	#!/usr/bin/env python3
	"""
	License: MIT License
	Copyright (c) 2023 Miel Donkers

	Very simple HTTP server in python for logging requests
	Usage::
	./server.py [<port>]
	"""
	from http.server import BaseHTTPRequestHandler, HTTPServer

	#!/bin/bash

	usage="
	Usage:
	wall [options] [message]

	Write a message to all users.

	Options:
	-n, --nobanner do not print banner