|
8d349e0727
|
fix git not being in build
|
2023-08-16 11:23:01 +02:00 |
|
|
c91c80c63f
|
run command, cd in build and clean
|
2023-08-15 12:23:55 +02:00 |
|
|
1201987364
|
Add -t to xargs, add bash
|
2023-08-15 12:23:23 +02:00 |
|
|
d5b58e8df3
|
Avoid database starting when other devshell is already running, allow devshell in non-root folders
|
2023-08-11 19:00:51 +02:00 |
|
|
c5061e223c
|
avoid socket issues
|
2023-08-10 01:15:19 +02:00 |
|
|
763e753698
|
nix package
|
2023-08-09 23:14:39 +02:00 |
|
|
bc45ec5fe0
|
build haskal
|
2023-08-09 23:05:03 +02:00 |
|