When making this website, i wanted a simple, reasonable way to make it look good on most displays. Not counting any minimization techniques, the following 58 bytes worked well for me:
main {
max-width: 38rem;
padding: 2rem;
margin: auto;
}
#!/usr/bin/env python | |
import os | |
import shlex | |
import struct | |
import platform | |
import subprocess | |
def get_terminal_size(): | |
""" getTerminalSize() |
param ( | |
[string]$FontName, | |
[string]$FontFile, | |
[switch]$Help | |
); | |
function isAdminMode() { | |
return ([Security.Principal.WindowsPrincipal] ` | |
[Security.Principal.WindowsIdentity]::GetCurrent() ` |
#!/bin/bash | |
gdb -p "$1" -batch -ex 'set {short}$rip = 0x050f' -ex 'set $rax=231' -ex 'set $rdi=0' -ex 'cont' |
#!/usr/bin/env bash | |
set -euo pipefail | |
IFS=$'\n\t' | |
key="/root/custom_mok.priv" | |
der="/root/custom_mok.der" | |
if [[ $(whoami) != "root" ]]; then | |
echo "This script must be run as root" | |
exit 1 |