Skip to content

Instantly share code, notes, and snippets.

View xhalo32's full-sized avatar
❄️
Lean, Rust, Nix, Typst

Niklas Halonen xhalo32

❄️
Lean, Rust, Nix, Typst
View GitHub Profile
@xhalo32
xhalo32 / README.md
Last active May 20, 2026 16:51
npins nix-shell

Run a command in a shell with packages from pinned nixpkgs

NIX_BUILD_SHELL=bash nix-shell - --run "npins update" < <(echo "{sources ? import ./npins, pkgs ? import sources.nixpkgs {}}: pkgs.mkShell {buildInputs=[pkgs.npins];}")

I have yet to find a way to start a shell using this method. It seems like nix-shell thinks it's not "interactive" because the "shell.nix" is passed via stdin.

Background

@xhalo32
xhalo32 / README.md
Last active January 9, 2026 05:28
Firefox invert PDF home-manager

Firefox invert PDF home-manager

Approch overview:

  • By default PDF viewer will be inverted with hue-rotate(180deg) to retain colors.
  • A JavaScript bookmarklet lets you invert back to light mode.

Put these lines in your config:

programs.firefox.your-profile = {
@xhalo32
xhalo32 / .docker-machine-ps1
Last active June 12, 2018 11:39
Docker-machine PS1 shell script for ubuntu. This script detects when you have run `eval $(docker-machine env <name>)` and prefixes the name in your PS1. Source this file or source the script using curl: `. <(curl -s <raw content>)`. In your .bashrc after the line `if [ "$color_prompt" = yes ]; then` and comment out the line `PS1='${debian_chroot…
#!/bin/bash
PROMPT_COMMAND="\[ \! -z \"\${DOCKER_MACHINE_NAME}\" \] && { _PS1_DOCKER_MACHINE_PREFIX=\"(\$DOCKER_MACHINE_NAME) \"; } || { _PS1_DOCKER_MACHINE_PREFIX=''; }"
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;90m\]`echo "$_PS1_DOCKER_MACHINE_PREFIX"`\[\033[01;00m\]\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
@xhalo32
xhalo32 / .docker-machine-ps1
Created June 12, 2018 11:09
Docker-machine PS1 shell script.
#!/bin/bash
PROMPT_COMMAND="\[ \! -z \"\${DOCKER_MACHINE_NAME}\" \] && { _PS1_DOCKER_MACHINE_PREFIX=\"(\$DOCKER_MACHINE_NAME) \"; } || { _PS1_DOCKER_MACHINE_PREFIX=''; }"
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;90m\]`echo "$_PS1_DOCKER_MACHINE_PREFIX"`\[\033[01;00m\]\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '