diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-07-28 21:21:35 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-07-28 21:21:35 +0200 |
| commit | ededb764b496669013198419a56f2ee513d52587 (patch) | |
| tree | 0f0379bc60ea332aed032c17e5218358af6b0a62 /src/Plugins/PipeReader.hs | |
| parent | 42f47c612a5aa113bdb5637c56c5bfaa1a98d846 (diff) | |
| download | xmobar-ededb764b496669013198419a56f2ee513d52587.tar.gz xmobar-ededb764b496669013198419a56f2ee513d52587.tar.bz2 | |
Fixes for DiskU, which was exploding on recent Linux
We're using now the recommended statvfs interface, instead of the
obsolete statfs64. Moreover, we compute correctly the used space.
Diffstat (limited to 'src/Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions