Skip to content

Instantly share code, notes, and snippets.

View Apeiros-46B's full-sized avatar

Apeiros Apeiros-46B

View GitHub Profile
@Apeiros-46B
Apeiros-46B / Thunderbots_in_NixOS.md
Last active September 13, 2025 18:27
Thunderbots development environment for NixOS systems

Thunderbots in NixOS

Thunderbots uses Bazel, which assumes an FHS system. In addition, dependencies are installed imperatively via a script that manually downloads dependencies, making it difficult to port to Nix.

My solution: Use an Ubuntu LXC container with X11 forwarding (for Thunderscope). This can be (mostly) declaratively configured using the Incus options available in NixOS. See the second file for the code.

Setup

  • Add the provided NixOS module to your system configuration (not home-manager).
@Apeiros-46B
Apeiros-46B / startpage.html
Created October 4, 2024 19:24
startpage.html
<!-- SCROLL TO THE BOTTOM OF THE GIST TO SEE README -->
<!DOCTYPE html>
<html lang='en'>
<head>
<meta charset='UTF-8' />
<meta name='viewport' content='width=device-width, initial-scale=1.0' />
<meta http-equiv='X-UA-Compatible' content='ie-edge' />
<title>startpage</title>
@Apeiros-46B
Apeiros-46B / ne
Last active December 22, 2022 16:49
norg export
#!/bin/sh
# {{{ reused colors/formatting
b="$(tput bold)"
sgr0="$(tput sgr0)"
f1="$(tput setaf 1)"
f6b="${b}$(tput setaf 6)"
# }}}
@Apeiros-46B
Apeiros-46B / singfetch.sh
Last active September 19, 2021 21:46
Fetch utility. "sing" and the code for color printing are from https://github.com/Manas140/sh, and wmctrl is needed for detecting the window manager.
#!/bin/bash
c1="\033[1;30m"
c2="\033[1;31m"
c3="\033[1;32m"
c4="\033[1;33m"
c5="\033[1;34m"
c6="\033[1;35m"
c7="\033[1;36m"
c8="\033[1;37m"