maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(aspen/system): Switch linux user login to aspen

Browse source 
Change-Id: I10369a20db3f1be92caf0bace94e8beb6af1dbaa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11302
Tested-by: BuildkiteCI
Autosubmit: aspen <root@gws.fyi>
Reviewed-by: aspen <root@gws.fyi>
This commit is contained in:
Aspen Smith 2024-03-31 14:11:01 -04:00 • committed by clbot
parent 55ab8b1e6a
commit 1cebb775f1
17 changed files with 30 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

6
users/aspen/system/home/modules/development/agda.nix
View file

@ -29,7 +29,7 @@ in
]))
];
grfn.impure.clonedRepos = {
aspen.impure.clonedRepos = {
agda-stdlib = {
github = "agda/agda-stdlib";
path = "code/agda-stdlib";
@ -51,8 +51,8 @@ in
'';
home.file.".agda/libraries".text = ''
/home/grfn/code/agda-stdlib/standard-library.agda-lib
/home/grfn/code/agda-categories/agda-categories.agda-lib
/home/aspen/code/agda-stdlib/standard-library.agda-lib
/home/aspen/code/agda-categories/agda-categories.agda-lib
'';
}