robdavid
Rob David
3 repositories

dumpproc

Linux memory dumper

  • 0
  • 0
  • 0
  • 0
  • 0
  • almost 6 years ago

setboot

A simple Linux command line tool to modify the UEFI boot order

  • 0
  • 0
  • 0
  • 0
  • 0
  • over 5 years ago

nixos-safe-gc

Collect garbage in NixOS without removing the running kernel

  • 0
  • 0
  • 0
  • 0
  • 0
  • about 1 hour ago