J'utilise mpv Media Player dans Ubuntu 17.10, et chaque fois que je prends une capture d'écran, celle-ci se place dans le répertoire personnel. Est-il possible de changer le répertoire des captures d'écran?
Edit : Basé sur n commentaire de doug , qui travaille beaucoup avec mpv, on peut simplement éditer ~/.config/mpv.conf
pour ajouter screenshot-directory=~/Public/
si $HOME/Public
est la destination souhaitée.
Ce qui suit fonctionne avec mpv/xenial,now 2:0.28.0~xenial1 AMD64 [installed]
et avec mpv/bionic,now 0.27.0-2ubuntu4 AMD64 [installed]
. Je n'ai pas testé avec la version disponible le 17.10.
J'ai copié /usr/share/applications/mpv.desktop
dans $HOME/.local/share/applications
.
J'ai ensuite modifié la ligne Exec
de
Exec=mpv --player-operation-mode=pseudo-gui -- %U
à
Exec=mpv --player-operation-mode=pseudo-gui --screenshot-directory=$HOME/Public/ -- %U
et enregistré SHOME/.local/share/applications/mpv.desktop
. Maintenant, lorsque j'ouvre une vidéo avec mpv et que je prends une capture d'écran, celle-ci est enregistrée dans $HOME/Public
.
Lisez https://mpv.io/manual/master/ pour régler la qualité des captures d'écran, les nommer et le format souhaité.