user-info.php 2.7 KB

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