no use to try f10 or f12 as gnuradio only showed up in f14

[infrastructure.git] / scripts / check-disk.sh

#!/bin/sh

echo ======================================== df -h /
df -h /
for i in /vservers/ /build/trash/; do echo -ne "$i\t" ; ls -l $i | wc -l ; done