]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2235ead) | patch
mason.disk: Better handling of free disk space.
authorDoug Coleman <doug.coleman@gmail.com>
Fri, 3 Jan 2020 16:48:24 +0000 (10:48 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Fri, 3 Jan 2020 17:10:53 +0000 (11:10 -0600)
commit3419d34cbffe32bfd9245b966e27d1ede03870a8
tree493b0eb34a3b56748e5f12ff6b8b36ebefdeab38tree | snapshot
parent2235eadf0452f8842fbf324f606c7a794d65b106commit | diff
mason.disk: Better handling of free disk space.

- Works if the build directory does not exist, assuming it would be created on the root disk containing the path of the first existing parent directory
- Space calculation is wrong, we should be using the available space
- MB is GB, comment was wrong
- Call find-mount-point-info to get the real disk mount point even if the dir does not exist
basis/io/files/info/info.factor diff | blob | history
basis/io/files/info/unix/linux/linux.factor diff | blob | history
extra/mason/disk/disk.factor diff | blob | history
Factor programming language