david
  • https://socialnerds.org
  • I am a dad, sysadmin, free software enthusiast and i belive in science.

  • Joined on Dec 05, 2020
Shell 1 0

My personal ZSH plugin with custom aliases and functions. It might not be very useful to you.

Updated 6 days ago

Shell 1 0

My personal collection of handy scripts. Mostly bash.

Updated 2 weeks ago

Shell 0 0

This is my personal mirror of https://github.com/sorin-ionescu/prezto

Updated 2 months ago

Shell 1 0

A TUI script to control various aspects of a Linux server.

Updated 3 months ago

Dockerfile 1 0

This image is based on Archlinux and is used for running game servers with SteamCMD

Updated 7 months ago

factoriocp
Archived
Smarty 0 0

Updated 10 months ago

Python 0 0

flask experiment

Updated 10 months ago

ipxe
Archived
C 0 0

My fork of git://git.ipxe.org/ipxe.git, it is used for my netboot environment at home.

Updated 10 months ago

Shell 0 0

this is my clone of jiwu liu's sshsudo project from http://code.google.com/p/sshsudo/. (cloned from https://github.com/JKrag/sshsudo)

Updated 10 months ago

Shell 0 0

bash script for performing incremental backups.

Updated 10 months ago

Shell 0 0

Shell script to syncronize a secondary pi-hole server with a primary pi-hole server. It downloads blacklist.txt, whitelist.txt and regex.list from the primary, updates local files and runs updateGravity on the secondary.

Updated 10 months ago

myzsh
Archived
Shell 0 0

myzsh is basically my personal zsh config including a couple of extras.

Updated 10 months ago

Dockerfile 0 0

Simple container to learn building Dockerfiles.

Updated 10 months ago

Dockerfile 0 0

Simple container to build and serve a jekyll site.

Updated 10 months ago