Docs | Splint.rs

Board Games with Recfiles

You can play with a board games database from boardgamegeek.com. Download the Database 1mkdir board_games 2cd board_games 3curl -Lo bg.zip 'https://www.kaggle.com/api/v1/datasets/download/threnjen/board-games-database-from-boardgamegeek' 4unzip bg.zip The header line shows fields with a bunch of colons, which will …

Brand Name Wallpaper

1 min read · void

To automatically stick the logo onto your background, do these commands in the directory. Get the void linux logo from wikipedia 1wget https://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Void_Linux_logo.svg/256px-Void_Linux_logo.svg.png?20170131170632 Rename it, and resize it (the standard size is too small for …

brightness

1 min read · hardware laptop

Brightness Edit this file: /sys/class/backlight/*/brightness

calcurse

1 min read · data calendar daylight savings

Setup The UK government keeps an ics file with clock. 1wget https://www.gov.uk/when-do-the-clocks-change/united-kingdom.ics 2calcurse -i united-kingdom.ics

Calendar

1 min read · writing tex fun

1yplan $(date +%Y) > ${file}.tex 2pdflatex -output-directory=/tmp/ ${file}.tex 3mv /tmp/${file}.pdf .

character-encoding

1 min read · system encoding

Convert a text file from one encoding type to another with: 1iconv -f ascii -t utf8 oldfilename > newfilename Available options are: ISO-8859-15 UTF-8 ASCII Lots more Generate a full list of encoding types available with: 1iconv -l

Clean Your Downloads

1 min read · system tmpfs

'Downloads` directory always too full of crap? Make it a temporary filesystem! Everything will be deleted whenever you reboot. 1rm -rf ~/Downloads # Be brave! 2mkdir Downloads 3cp /etc/fstab /tmp/ 4echo "tmpfs $HOME/Downloads tmpfs defaults,size=1G 0 0" | sudo tee -a /etc/fstab 5sudo systemctl daemon-reload # Ignore …

clock

1 min read · basics time

Show system time: 1date Show hardware time: 1sudo hwclock -r Change system time to match hardware time: 1sudo hwclock --hctosys Change hardware time to match system time: 1sudo hwclock --systohc Manually set the hardware time to a specified date: 1sudo hwclock --set --date="8/25/19 13:30:00" Normal Date 1date +%d/%m/%y …

column

1 min read · basics format json

Put output into column. 1du -h /etc/* | column Reformat file with an explicit separator (-s): 1column -ts: /etc/passwd Give columns names (-N), so you can hide some (-H): 1column -ts: -N User,PW,UID,GID,Description,Home,shell -H PW,GID /etc/passwd Reorder with -O (unspecified items remain): 1column -ts: -N …

Commit for Another

1 min read · data git

You can make Alice the author, while you are still the commiter: 1name="Alice Bobinson" 2email="alice@email.com" 3 4git add ${file} 5git commit --author="${name} <${email}>" Or, make Alice both the committer and the author: 1git -c user.name="${name}" -c user.email="${email}" commit -m "${message}"