steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' of git://factorcode.org/git/factor

db4
Slava Pestov 2008-12-09 01:04:58 -06:00
parent 6286f96379 8a1ba29743
commit 7e267510fd
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
basis/tools/files/files.factor
View File

@ -44,12 +44,13 @@ percent-used percent-free ;
{ device-name [ device-name>> ] } { device-name [ device-name>> ] }
{ mount-point [ mount-point>> ] } { mount-point [ mount-point>> ] }
{ type [ type>> ] } { type [ type>> ] }
{ available-space [ available-space>> ] } { available-space [ available-space>> [ 0 ] unless* ] }
{ free-space [ free-space>> ] } { free-space [ free-space>> [ 0 ] unless* ] }
{ used-space [ used-space>> ] } { used-space [ used-space>> [ 0 ] unless* ] }
{ total-space [ total-space>> ] } { total-space [ total-space>> [ 0 ] unless* ] }
{ percent-used [ { percent-used [
[ used-space>> ] [ total-space>> ] bi dup 0 = [ used-space>> ] [ total-space>> ] bi
[ [ 0 ] unless* ] bi@ dup 0 =
[ 2drop 0 ] [ / percent ] if [ 2drop 0 ] [ / percent ] if
] } ] }
} case ; } case ;