user-info.php 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  1. #!/usr/bin/env php
  2. <?php
  3. declare(strict_types=1);
  4. require(__DIR__ . '/_cli.php');
  5. const DATA_FORMAT = "%-7s | %-20s | %-5s | %-7s | %-25s | %-15s | %-10s | %-10s | %-10s | %-10s | %-10s | %-10s | %-5s | %-10s\n";
  6. $params = array(
  7. 'user:',
  8. 'header',
  9. 'json',
  10. );
  11. $options = getopt('h', $params);
  12. if (!validateOptions($argv, $params)) {
  13. fail('Usage: ' . basename(__FILE__) . ' (-h --header --json --user username --user username …)');
  14. }
  15. if (empty($options['user'])) {
  16. $users = listUsers();
  17. } elseif (is_array($options['user'])) {
  18. $users = $options['user'];
  19. } else {
  20. $users = array($options['user']);
  21. }
  22. sort($users);
  23. $formatJson = isset($options['json']);
  24. $jsonOutput = [];
  25. if ($formatJson) {
  26. unset($options['header']);
  27. unset($options['h']);
  28. }
  29. if (array_key_exists('header', $options)) {
  30. printf(
  31. DATA_FORMAT,
  32. 'default',
  33. 'user',
  34. 'admin',
  35. 'enabled',
  36. 'last user activity',
  37. 'space used',
  38. 'categories',
  39. 'feeds',
  40. 'reads',
  41. 'unreads',
  42. 'favourites',
  43. 'tags',
  44. 'lang',
  45. 'email'
  46. );
  47. }
  48. foreach ($users as $username) {
  49. $username = cliInitUser($username);
  50. $catDAO = FreshRSS_Factory::createCategoryDao($username);
  51. $feedDAO = FreshRSS_Factory::createFeedDao($username);
  52. $entryDAO = FreshRSS_Factory::createEntryDao($username);
  53. $tagDAO = FreshRSS_Factory::createTagDao($username);
  54. $databaseDAO = FreshRSS_Factory::createDatabaseDAO($username);
  55. $nbEntries = $entryDAO->countUnreadRead();
  56. $nbFavorites = $entryDAO->countUnreadReadFavorites();
  57. $feedList = $feedDAO->listFeedsIds();
  58. $data = array(
  59. 'default' => $username === FreshRSS_Context::$system_conf->default_user ? '*' : '',
  60. 'user' => $username,
  61. 'admin' => FreshRSS_Context::$user_conf->is_admin ? '*' : '',
  62. 'enabled' => FreshRSS_Context::$user_conf->enabled ? '*' : '',
  63. 'last_user_activity' => FreshRSS_UserDAO::mtime($username),
  64. 'database_size' => $databaseDAO->size(),
  65. 'categories' => $catDAO->count(),
  66. 'feeds' => count($feedList),
  67. 'reads' => (int)$nbEntries['read'],
  68. 'unreads' => (int)$nbEntries['unread'],
  69. 'favourites' => (int)$nbFavorites['all'],
  70. 'tags' => $tagDAO->count(),
  71. 'lang' => FreshRSS_Context::$user_conf->language,
  72. 'mail_login' => FreshRSS_Context::$user_conf->mail_login,
  73. );
  74. if (isset($options['h'])) { //Human format
  75. $data['last_user_activity'] = date('c', $data['last_user_activity']);
  76. $data['database_size'] = format_bytes($data['database_size']);
  77. }
  78. if ($formatJson) {
  79. $data['default'] = !empty($data['default']);
  80. $data['admin'] = !empty($data['admin']);
  81. $data['enabled'] = !empty($data['enabled']);
  82. $data['last_user_activity'] = gmdate('Y-m-d\TH:i:s\Z', (int)$data['last_user_activity']);
  83. $jsonOutput[] = $data;
  84. } else {
  85. vprintf(DATA_FORMAT, $data);
  86. }
  87. }
  88. if ($formatJson) {
  89. echo json_encode($jsonOutput), "\n";
  90. }
  91. done();