diff options
author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-03-30 22:08:42 +0200 |
---|---|---|
committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-03-30 22:08:42 +0200 |
commit | 2a7eb7221b85af3f2c5141c3918ff1959566f55a (patch) | |
tree | fd6725c155ab0e8ef8e6ef7383d1ab2d66ca359c /user-config.default.bash | |
parent | 9d45fe6b329cbae295ed83d90dd20c5fc3e70717 (diff) |
Split some functionality off update.sh
Such that it may be used by the to be bettered make_install.sh.
In particular, the latter is supposed to work for both non-vcs source
and binary packages.
Also add a main() method to update.sh.
Diffstat (limited to 'user-config.default.bash')
0 files changed, 0 insertions, 0 deletions