user-info.php 779 B

1234567891011121314151617181920212223242526272829303132333435
  1. #!/usr/bin/php
  2. <?php
  3. require('_cli.php');
  4. $options = getopt('h', array(
  5. 'user:',
  6. ));
  7. if (empty($options['user'])) {
  8. fail('Usage: ' . basename(__FILE__) . " -h --user username");
  9. }
  10. $users = $options['user'] === '*' ? listUsers() : array($options['user']);
  11. foreach ($users as $username) {
  12. $username = cliInitUser($username);
  13. $entryDAO = FreshRSS_Factory::createEntryDao($username);
  14. echo $username === FreshRSS_Context::$system_conf->default_user ? '*' : ' ', "\t";
  15. if (isset($options['h'])) { //Human format
  16. echo
  17. $username, "\t",
  18. date('c', FreshRSS_UserDAO::mtime($username)), "\t",
  19. format_bytes($entryDAO->size()), "\t",
  20. "\n";
  21. } else {
  22. echo
  23. $username, "\t",
  24. FreshRSS_UserDAO::mtime($username), "\t",
  25. $entryDAO->size(), "\t",
  26. "\n";
  27. }
  28. }