!752 p { if (isLinux()) print(backtick("df -hi " + bashQuote(userHome()))); }