Age | Commit message (Collapse) | Author | Files | Lines |
|
I think there used to be problems with using http_proxy on bb wget,
but those have been fixed for quite some time. This fixes #347.
We should probably use libcurl or similar library eventually, but
I'm not entirely sure if/when we want that.
(cherry picked from commit aae0a563edc21030c08fd47e30e78eda22183027)
|
|
* prunes the child pid to avoid zombies
* handles the errors so e.g. file-not-found is reported properly
|
|
this way we never change cwd, and relative filenames are always
parsed consistently. this also helps filename construction in many
places. this patch also changes '--root' to override location of
all configuration to be in the new root. previously it depended
on the file which one was used.
|
|
|
|
|
|
|
|
Cache non-local index files always locally.
Introduce 'update' applet to force refresh of cached index files.
Fixes #19.
|
|
|
|
|
|
|