recorder: Change default output filename

Use "Screencast at 2009-03-11 00:08:15.webm" instead of
"shell-20090311b-2.webm".

https://bugzilla.gnome.org/show_bug.cgi?id=670753
This commit is contained in:
Florian Müllner 2012-02-24 18:14:58 +01:00
parent 60557f4e0f
commit 7cc1bdb35d
2 changed files with 3 additions and 3 deletions

View File

@ -110,7 +110,7 @@ function _initRecorder() {
} else {
// read the parameters from GSettings always in case they have changed
recorder.set_framerate(recorderSettings.get_int('framerate'));
recorder.set_filename('shell-%d%u-%c.' + recorderSettings.get_string('file-extension'));
recorder.set_filename('Screencast at %d %t.' + recorderSettings.get_string('file-extension'));
let pipeline = recorderSettings.get_string('pipeline');
if (!pipeline.match(/^\s*$/))

View File

@ -149,9 +149,9 @@ G_DEFINE_TYPE(ShellRecorder, shell_recorder, G_TYPE_OBJECT);
*/
#define DEFAULT_PIPELINE "vp8enc quality=8 speed=6 threads=%T ! queue ! webmmux"
/* The default filename pattern. Example shell-20090311b-2.webm
/* The default filename pattern. Example Screencast at 2009-03-11 00:08:15.webm
*/
#define DEFAULT_FILENAME "shell-%d%u-%c.webm"
#define DEFAULT_FILENAME "Screencast at %d %t.webm"
/* If we can find the amount of memory on the machine, we use half
* of that for memory_target, otherwise, we use this value, in kB.