change-screenshot-filenaming.patch 681 B

123456789101112131415
  1. --- a/js/ui/screenshot.js
  2. +++ b/js/ui/screenshot.js
  3. @@ -2279,10 +2279,10 @@ function _storeScreenshot(bytes, pixbuf) {
  4. throw e;
  5. }
  6. - const timestamp = time.format('%Y-%m-%d %H-%M-%S');
  7. + const timestamp = time.format('%Y%m%d-%H%M%S');
  8. // Translators: this is the name of the file that the screenshot is
  9. // saved to. The placeholder is a timestamp, e.g. "2017-05-21 12-24-03".
  10. - const name = _('Screenshot From %s').format(timestamp);
  11. + const name = _('Screenshot_%s_gnome').format(timestamp);
  12. // If the target file already exists, try appending a suffix with an
  13. // increasing number to it.