diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-11-15 00:14:31 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-11-15 09:39:16 +0000 |
| commit | a10232a5bd0db41733d0d8562e2fe56008f01cec (patch) | |
| tree | 05773b3943ed6c88799d96335dbae62262c12a70 /tools | |
| parent | 8838f6dcfedd87c35e6325f501a17175bd410e3b (diff) | |
| download | rumba-a10232a5bd0db41733d0d8562e2fe56008f01cec.tar.gz rumba-a10232a5bd0db41733d0d8562e2fe56008f01cec.zip | |
prototypes: Wait before IRATI install
This adds a command that waits for any running package managers before
attempting to update apt. This avoids bailing from some exogeni
virtual machines, which seem to perform some package management in the
background at boot.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions