export-zip-for-user.php 858 B

12345678910111213141516171819202122232425262728293031
  1. #!/usr/bin/php
  2. <?php
  3. require(__DIR__ . '/_cli.php');
  4. $params = array(
  5. 'user:',
  6. 'max-feed-entries:',
  7. );
  8. $options = getopt('', $params);
  9. if (!validateOptions($argv, $params) || empty($options['user'])) {
  10. fail('Usage: ' . basename(__FILE__) . " --user username ( --max-feed-entries 100 ) > /path/to/file.zip");
  11. }
  12. $username = cliInitUser($options['user']);
  13. fwrite(STDERR, 'FreshRSS exporting ZIP for user “' . $username . "”…\n");
  14. $importController = new FreshRSS_importExport_Controller();
  15. $ok = false;
  16. $number_entries = empty($options['max-feed-entries']) ? 100 : intval($options['max-feed-entries']);
  17. try {
  18. $ok = $importController->exportFile($username, true, true, true, true, $number_entries);
  19. } catch (FreshRSS_ZipMissing_Exception $zme) {
  20. fail('FreshRSS error: Lacking php-zip extension!');
  21. }
  22. invalidateHttpCache($username);
  23. done($ok);