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:
Peter Simons peti
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # ignore generated files | |
| /bazel-bazel-test | |
| /bazel-bin | |
| /bazel-out | |
| /bazel-testlogs | |
| /WORKSPACE |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /obs-presentation.pdf |
showTransaction:
2018/10/19 Joe Doe | Test
Account 1 €388.00 = €2913.00
Account 2
Account 3
showTransactionUnelided:
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
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { 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; |
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
/ .gitignore
Last active
March 9, 2018 11:24
cabal new-build is confused by "tests: True" in global config file
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /.*.environment.* | |
| /dist-newstyle/* |
peti
/ nix.maude
Last active
November 2, 2017 15:54
Model the //> operator from https://github.com/NixOS/rfcs/pull/3 in Maude
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ***( | |
| 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" | |
| ***) |