Monday, September 28, 2015

Generic convert command

To run a convert command on a selected file and keep the name of the file without adding the input extension into the output name

program "$0" "${0%%.*}".extension' %f


convert "$0" "${0%%.*}".png' %f

That can be used in a desktop file with bash:

Exec=bash -c 'convert "$0" "${0%%.*}".png' %f

Access FREEBOX disk (France)

Open in (file or web) browser: dur

Tuesday, September 22, 2015

Use Google Chrome flash in Firefox

Flash plugin is no longer supported for Linux as a separate package, but it still available for Google Chrome.

So, after installing Google Chrome and removing other flash plugins:

sudo add-apt-repository ppa:nilarimogard/webupd8&&sudo apt-get update&&sudo apt-get install freshplayerplugin

Wednesday, September 16, 2015

Fix font of internet browsers

~Superuser question: Different font in Linux Mint KDE affecting Google search and Gmail


Enter about:config in the address bar. Search for gfx.downloadable_fonts.enabled and change this flag to false. This option will be saved to your ~/.mozilla/firefox/prefs.js file which will then be loaded every time your start your browser.


Launch Chrome from the command line:
google-chrome --disable-remote-fonts