Skip to content

Instantly share code, notes, and snippets.

View peti's full-sized avatar

Peter Simons peti

View GitHub Profile
@peti
peti / nix.maude
Last active November 2, 2017 15:54
Model the //> operator from https://github.com/NixOS/rfcs/pull/3 in Maude
***(
nix.maude -- experiment with the recursive update operator
The language extension was suggested in https://github.com/NixOS/rfcs/pull/3.
This code lives at https://gist.github.com/peti/7a2318dcbba9946862423aea0380859b.
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"
***)
@peti
peti / .gitignore
Last active March 9, 2018 11:24
cabal new-build is confused by "tests: True" in global config file
/.*.environment.*
/dist-newstyle/*
@peti
peti / README.md
Last active January 29, 2024 00:21
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 NixOS/nixpkgs#38991.

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
peti / disable-gdm-auto-suspend.nix
Created October 2, 2018 15:32
Disable GDM's auto-suspension of the machine when no user is logged in
{ config, pkgs, lib, ... }: # disable-gdm-auto-suspend.nix
{
assertions = [
{ assertion = config.services.xserver.displayManager.gdm.enable;
message = "dont't include disable-gdm-auto-suspend.nix unless GDM is enabled";
}
];
programs.dconf.enable = true;
@peti
peti / README.md
Created October 21, 2018 11:41
How to show an hledger transaction
showTransaction:

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

showTransactionUnelided:
@peti
peti / keybase.md
Created March 1, 2019 18:17
Proof of identity

Keybase proof

I hereby claim:

  • I am peti on github.
  • I am psimons (https://keybase.io/psimons) on keybase.
  • I have a public key ASCg32DOlimevMJDbtN_hf2CvQNhfdU0krJOyqbtvK67_wo

To claim this, I am signing this object:

@peti
peti / .gitignore
Last active August 19, 2019 10:41
OBS Presentation
/obs-presentation.pdf
@peti
peti / .gitignore
Last active February 7, 2020 17:32
Experiment with bazel
# ignore generated files
/bazel-bazel-test
/bazel-bin
/bazel-out
/bazel-testlogs
/WORKSPACE