lyes/nixfiles
1
0
Fork 0
Code Issues Pull requests Activity Actions

Random changes

Browse source
This commit is contained in:
Lyes Saadi 2025-11-22 16:02:14 +01:00
parent b179393b6d
commit 5c52ddee55
Signed by: lyes
GPG key ID: 55A1D803917CF39A
5 changed files with 33 additions and 32 deletions
Download patch file Download diff file Expand all files Collapse all files

2
users/lyes/common/default.nix
View file

@ -17,6 +17,6 @@
environment.sessionVariables = {
PASSWORD_STORE_ENABLE_EXTENSIONS = "true";
ROCQPATH = "/etc/profiles/per-user/lyes/lib/coq/9.0/user-contrib";
# ROCQPATH = "/etc/profiles/per-user/lyes/lib/coq/9.0/user-contrib";
};
}

3
users/lyes/desktop/packages.nix
View file

@ -23,7 +23,7 @@ let
in {
users.users.lyes.packages = with pkgs; [
# Web
zen-browser.packages."${system}".default
zen-browser.packages."${stdenv.hostPlatform.system}".default
dropbox
filezilla
organicmaps
@ -128,6 +128,7 @@ in {
coqPackages.metarocq-template-rocq
coqPackages.vscoq-language-server
numworks-udev-rules
zola
# Containers & VMs
toolbox