aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell/bashrc.sh
diff options
context:
space:
mode:
authorPedram Ashofteh Ardakani <pedramardakani@pm.me>2020-06-25 13:33:36 +0430
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-06-25 23:25:51 +0100
commit5c3f2c4e38bec20616e4cf6ac568298a614df040 (patch)
tree8abb6b1ac69470bf7c830c326d7b5a5b235c86ce /reproduce/software/shell/bashrc.sh
parent4785b459b8c31ae11b8974724ccbf2723e001d75 (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