Skip to content

Instantly share code, notes, and snippets.

peti / .gitignore
Last active Feb 7, 2020
Experiment with bazel
View .gitignore
# ignore generated files
peti / .gitignore
Last active Aug 19, 2019
OBS Presentation
View .gitignore
peti /
Created Mar 1, 2019
Proof of identity

Keybase proof

I hereby claim:

  • I am peti on github.
  • I am psimons ( on keybase.
  • I have a public key ASCg32DOlimevMJDbtN_hf2CvQNhfdU0krJOyqbtvK67_wo

To claim this, I am signing this object:

peti /
Created Oct 21, 2018
How to show an hledger transaction

2018/10/19 Joe Doe | Test
    Account 1         €388.00 = €2913.00
    Account 2
    Account 3

peti / disable-gdm-auto-suspend.nix
Created Oct 2, 2018
Disable GDM's auto-suspension of the machine when no user is logged in
View disable-gdm-auto-suspend.nix
{ config, pkgs, lib, ... }: # disable-gdm-auto-suspend.nix
assertions = [
{ assertion =;
message = "dont't include disable-gdm-auto-suspend.nix unless GDM is enabled";
programs.dconf.enable = true;
peti /
Last active Mar 16, 2021
Make NixOS provide version-specific LOCALE_ARCHIVE environment variables

This NixOS code ensures that the system provide version-specific $LOCALE_ARCHIVE environment variables to mitigate the effects of

To deploy it, copy the file into your /etc/nixos folder using a file name like multi-glibc-locale-paths.nix. Then edit your configuration.nix file to contain the attribute:

imports = [ ./multi-glibc-locale-paths.nix ];
peti / .gitignore
Last active Mar 9, 2018
cabal new-build is confused by "tests: True" in global config file
View .gitignore
peti / nix.maude
Last active Nov 2, 2017
Model the //> operator from in Maude
View nix.maude
nix.maude -- experiment with the recursive update operator
The language extension was suggested in
This code lives at
To evaluate the examples given at the bottom of this code, run the command:
nix-shell -p maude --run "maude -no-banner -batch <nix.maude"