Thursday, October 1, 2015

Install multiple deb files

terminal in folder  
sudo dpkg -i *.deb

The downside is that it installs everything without warning of any incompatibility or broken package.

Process video (or audio) with ffmpeg - trim, cut, join without transcoding.

The general command is

ffmpeg [options] [[infile options] -i infile]... {[outfile options] outfile}... 

The option -c stands for the "codec" to be used.

 -c copy means the file is not re-coded.

followed by time  (like  00:03:05.0 ) is the start time: all before that point is removed

followed by time (like 00:03:05.0 ) stands for the duration of output: all after that is removed

 -to serves to specify the end time inside the input (sometimes simpler to use instead of -t)


To keep data after a start point (up to the end):

ffmpeg -i INPUT -c copy -ss START_TIME -map 0 OUTPUT

To keep data between two time points:

ffmpeg -i INPUT -c copy -ss START_TIME -to END_TIME -map 0 OUTPUT

To keep data of a certain duration after a certain point:

ffmpeg -i INPUT -c copy -ss START_TIME -t DURATION_TIME -map 0 OUTPUT

To keep data of a certain duration after beginning:

ffmpeg -i INPUT -c copy -t DURATION_TIME -map 0 OUTPUT

To keep data from beginning up to a time point:

ffmpeg -i INPUT -c copy -to TIME_POINT -map 0 OUTPUT


To join mpeg files (including transport files)

 ffmpeg -i "concat:INPUT-1|INPUT-2" -c copy -bsf:a aac_adtstoasc OUTPUT


create a file called `join.txt` with the content

file 'path-to-INPUT1'
file 'path-to-INPUT2'


 ffmpeg -f concat -i join.txt OUTPUT

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

Monday, July 20, 2015

See available version of a program in terminal

To check the available version of a program in terminal, whether installed or not:

sudo apt-cache policy <program_name>