f18+gnome3: howto recording desktop with audio

[Dario Lesca]

How to record via ctrl+alt+shift+r, video and audio together ?

I have fount this trick:
http://askubuntu.com/questions/112473/audio-not-working-for-gnome-screencast-ctrl-alt-shift-r

But the command for set the "org.gnome.shell.recorder pipeline" key:

> gsettings set org.gnome.shell.recorder pipeline "queue ! \
> videorate !  vp8enc quality=10 speed=2 ! mux. pulsesrc ! \
> audio/x-raw-int ! queue !  audioconvert ! vorbisenc ! \
> mux. webmmux name=mux"

... do not work, and break the recording, likely this setting is for
gstreamer-0.10, bud f18 use gstreamer1-1.x, true?.

This is home page of shell recorder, but there is nothing for enable
audio recording.
http://developer.gnome.org/shell/stable/shell-shell-recorder.html

Someone have suggest?

Many thanks

-- 
Dario Lesca - sip:dario at solinos.it
(Inviato dal mio Linux Fedora18+Gnome3)