Eelco Dolstra
|
2653801939
|
Merge branch 'split_build_cc' of https://github.com/obsidiansystems/nix
|
2020-10-13 15:36:55 +02:00 |
|
Eelco Dolstra
|
7e44adda46
|
Merge pull request #4141 from volth/patch-11
Handle amount of disk space saved by hard linking being negative
|
2020-10-13 11:06:29 +02:00 |
|
John Ericson
|
1b8ebe92dc
|
Merge remote-tracking branch 'obsidian/split_build_cc' into typed-goal-maps
|
2020-10-12 20:47:22 +00:00 |
|
John Ericson
|
a73959e6be
|
Merge remote-tracking branch 'upstream/master' into split_build_cc
|
2020-10-12 17:20:46 +00:00 |
|
John Ericson
|
d334fd4882
|
Merge branches 'split_build_hh-0', 'split_build_hh-1', 'split_build_hh-2', 'split_build_hh-3' and 'split_build_hh-4' into split_build_cc
|
2020-10-12 17:20:12 +00:00 |
|
John Ericson
|
542972f029
|
Trim worker.hh
|
2020-10-12 17:16:48 +00:00 |
|
John Ericson
|
0e2306204a
|
Rename to hand-hold git (worker.hh)
|
2020-10-12 17:16:48 +00:00 |
|
John Ericson
|
3ffa3546bd
|
Trim substitution-goal.hh
|
2020-10-12 17:16:25 +00:00 |
|
John Ericson
|
e77a2344d5
|
Rename to hand-hold git (substitution-goal.hh)
|
2020-10-12 17:16:25 +00:00 |
|
John Ericson
|
d585b4c54f
|
Trim hook-instance.hh
|
2020-10-12 17:16:13 +00:00 |
|
John Ericson
|
10b749a156
|
Rename to hand-hold git (hook-instance.hh)
|
2020-10-12 17:16:13 +00:00 |
|
John Ericson
|
8067d32f2a
|
Trim goal.hh
|
2020-10-12 17:16:00 +00:00 |
|
John Ericson
|
0d0e345cdc
|
Rename to hand-hold git (goal.hh)
|
2020-10-12 17:16:00 +00:00 |
|
John Ericson
|
2ce726947a
|
Trim derivation-goal.hh
|
2020-10-12 17:15:32 +00:00 |
|
John Ericson
|
4eb8c69853
|
Rename to hand-hold git (derivation-goal.hh)
|
2020-10-12 17:15:32 +00:00 |
|
John Ericson
|
f7099965bf
|
Change .cc files to use split build headers
|
2020-10-12 17:08:52 +00:00 |
|
John Ericson
|
5a97621d6d
|
Prepare for build/*.hh headers
|
2020-10-12 17:07:51 +00:00 |
|
volth
|
eee18f88dd
|
Handle amount of disk space saved by hard linking being negative
Fixes bogus messages like "currently hard linking saves 17592186044416.00 MiB".
|
2020-10-12 16:06:38 +00:00 |
|
Eelco Dolstra
|
20d2140e45
|
Merge pull request #4136 from obsidiansystems/split-uds-remote-store
Split out uds-remote-store.{cc.hh}
|
2020-10-12 14:11:58 +02:00 |
|
John Ericson
|
15fdb7cc6b
|
Split out uds-remote-store.{cc.hh}
|
2020-10-11 17:37:05 +00:00 |
|
John Ericson
|
38e3897162
|
Copy {uds-,}remote-store.{cc,hh}
This prepares for the splitting that happens in the next commit.
|
2020-10-11 17:18:26 +00:00 |
|
John Ericson
|
5c74a6147b
|
Properly type the derivation and substitution goal maps
As a bonus, Worker::removeGoal is less inefficient.
|
2020-10-11 17:07:14 +00:00 |
|
Eelco Dolstra
|
b0fbf3a653
|
Merge pull request #4135 from obsidiansystems/split-local-fs-store-header
Split out `local-fs-store.hh`
|
2020-10-11 18:49:40 +02:00 |
|
John Ericson
|
8cc510fb79
|
Merge branches 'build-1', 'build-2', 'build-3', 'build-4', 'build-5', 'build-6', 'build-7' and 'build-8' into split_build_cc
|
2020-10-11 16:44:34 +00:00 |
|
John Ericson
|
bcb67e1ed8
|
Trim lock.cc
|
2020-10-11 16:44:19 +00:00 |
|
John Ericson
|
e0be04129b
|
Rename to hand-hold git (lock.cc)
|
2020-10-11 16:44:14 +00:00 |
|
John Ericson
|
dbc588651c
|
Trim lock.hh
|
2020-10-11 16:44:07 +00:00 |
|
John Ericson
|
d0004bfcab
|
Rename to hand-hold git (lock.hh)
|
2020-10-11 16:43:59 +00:00 |
|
John Ericson
|
eed53ed87a
|
Trim build/worker.cc
|
2020-10-11 16:43:51 +00:00 |
|
John Ericson
|
904e315dae
|
Rename to hand-hold git (build/worker.cc)
|
2020-10-11 16:43:42 +00:00 |
|
John Ericson
|
d24ffe0eb1
|
Trim build/substitution-goal.cc
|
2020-10-11 16:43:24 +00:00 |
|
John Ericson
|
3633b3572b
|
Rename to hand-hold git (build/substitution-goal.cc)
|
2020-10-11 16:43:18 +00:00 |
|
John Ericson
|
4bdff7d1b0
|
Trim build/local-store-build.cc
|
2020-10-11 16:43:12 +00:00 |
|
John Ericson
|
dc5225cde5
|
Rename to hand-hold git (build/local-store-build.cc)
|
2020-10-11 16:43:05 +00:00 |
|
John Ericson
|
159054f730
|
Trim build/hook-instance.cc
|
2020-10-11 16:42:35 +00:00 |
|
John Ericson
|
f0b8987299
|
Rename to hand-hold git (build/hook-instance.cc)
|
2020-10-11 16:42:08 +00:00 |
|
John Ericson
|
819fe848ac
|
Trim build/goal.cc
|
2020-10-11 16:41:58 +00:00 |
|
John Ericson
|
184bfc301e
|
Rename to hand-hold git (build/goal.cc)
|
2020-10-11 16:41:18 +00:00 |
|
John Ericson
|
3bab1c5bb0
|
Trim build/derivation-goal.cc
|
2020-10-11 16:41:11 +00:00 |
|
John Ericson
|
9629290eda
|
Rename to hand-hold git (build/derivation-goal.cc)
|
2020-10-11 16:40:52 +00:00 |
|
John Ericson
|
a4f0fecb03
|
Trim build.hh
|
2020-10-11 16:40:34 +00:00 |
|
John Ericson
|
fc72cb0760
|
Rename to hand-hold git (build.hh)
|
2020-10-11 16:40:14 +00:00 |
|
John Ericson
|
428536fd75
|
Prepare for build/* files
|
2020-10-11 16:39:08 +00:00 |
|
John Ericson
|
aef44cbaa9
|
Split out commonChildInit
|
2020-10-11 16:38:46 +00:00 |
|
John Ericson
|
6cc1541782
|
Split out local-fs-store.hh
This matches the already-existing `local-fs-store.cc`.
|
2020-10-09 20:18:08 +00:00 |
|
Eelco Dolstra
|
725488b892
|
nix develop: Unset $HOSTNAME
This is set to "localhost" by stdenv which is probably not what you
want.
|
2020-10-09 22:03:18 +02:00 |
|
Eelco Dolstra
|
44349064f7
|
nix develop: Source ~/.bashrc
Fixes #4104.
|
2020-10-09 22:02:00 +02:00 |
|
Eelco Dolstra
|
59bd6e87a4
|
Completions::add(): Guard against newlines
|
2020-10-09 21:55:59 +02:00 |
|
Eelco Dolstra
|
ea4b2b985f
|
Merge pull request #4128 from tweag/extended-completions
Add a zsh completion script
|
2020-10-09 21:53:12 +02:00 |
|
John Ericson
|
39de73550d
|
Merge remote-tracking branch 'upstream/master' into fix-and-ci-static-builds
|
2020-10-09 18:26:47 +00:00 |
|