Just noticed by chance that rpmdrake displays a significantly different amount of free diskspace from df.
/ has 147 MB free (according to df) and 282 MB (according to rpmdrake). Note that my only partitions are / and /home (which has a lot of free space). Any ideas? Best, Sascha Noyes
