dickmao
|
1e582fe7ce
|
ignore-errors delete-file
|
2019-10-12 21:14:08 -04:00 |
|
dickmao
|
065f6f92c2
|
put the curled file into /tmp
|
2019-10-12 21:10:12 -04:00 |
|
dickmao
|
514022ff45
|
package-lint patching redux
quelpa gymnastics aren't going to cut it. Just replace pertinent file
with a curl retrieval.
|
2019-10-12 20:57:32 -04:00 |
|
dickmao
|
2c2a7dbc37
|
move to purcell/nix
|
2019-10-12 19:50:35 -04:00 |
|
dickmao
|
166bd25d7b
|
avoid crashing in browse server
one is currently unable to retrieve a killed group from browse server, unfortunately.
|
2019-10-12 18:43:35 -04:00 |
|
dickmao
|
ebef50cfa6
|
close-server compiler error
|
2019-10-03 15:20:50 -04:00 |