14 lines
222 B
Nix
14 lines
222 B
Nix
|
let pkgs = import <nixpkgs> {};
|
||
|
in with pkgs; mkShell {
|
||
|
packages = [
|
||
|
agda
|
||
|
nodejs
|
||
|
];
|
||
|
|
||
|
shellHook = ''
|
||
|
rename() {
|
||
|
for f in *.js; do sed -i 's/require("\(.*\)");/require(".\/\1");/g' "$f"; done
|
||
|
}
|
||
|
'';
|
||
|
}
|