diff options
author | Pedram Ashofteh Ardakani <pedramardakani@pm.me> | 2020-06-25 13:33:36 +0430 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-25 23:25:51 +0100 |
commit | 5c3f2c4e38bec20616e4cf6ac568298a614df040 (patch) | |
tree | 8abb6b1ac69470bf7c830c326d7b5a5b235c86ce /reproduce/software/shell/bashrc.sh | |
parent | 4785b459b8c31ae11b8974724ccbf2723e001d75 (diff) |
Check if there is enough available in selected build directory
Until now, Maneage would accept the given build directory, regardless of
the free memory available there. This could cause confusing situations for
new users who don't know about the minimum storage requirement.
With this commit, after all other checks on the given build directory are
completed, the configure script will check the available space and warns
the user if there is less than almost 5GB free space available in the build
directory (with a 5 second delay).
It won't cause a crash because some projects may require roughly smaller
than this space (the default only needs roughly 2GB). But we also don't
want the host's partition to get too close to being full, causing them
problems elsewhere. We can change the behavior as desired in future
commits.
Diffstat (limited to 'reproduce/software/shell/bashrc.sh')
0 files changed, 0 insertions, 0 deletions