From 3cbe2294ed32af632a909a663be1d9cc69d18962 Mon Sep 17 00:00:00 2001 From: Kevin Eifinger Date: Wed, 27 May 2020 21:47:12 +0200 Subject: [PATCH] Add instructions to update ffmpeg on Ubuntu 18.04 (#553) --- docs/development_environment.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/development_environment.md b/docs/development_environment.md index 7a271826..fc1861d2 100644 --- a/docs/development_environment.md +++ b/docs/development_environment.md @@ -74,6 +74,18 @@ Enable-WindowsOptionalFeature -Online -FeatureName Microsoft-Windows-Subsystem-L From Windows Store install Ubuntu. +#### For those already running Ubuntu 18.04 on WSL + +If you are running Ubuntu 18.04 on Windows Subsystem for Linux some additional steps are needed to install the latest FFmpeg version. + +```shell +$ sudo add-apt-repository ppa:savoury1/ffmpeg4 +$ sudo add-apt-repository ppa:savoury1/graphics +$ sudo add-apt-repository ppa:savoury1/multimedia +$ sudo apt-get update +$ sudo apt-get install ffmpeg +``` + When the Linux subsystem is set up, perform install as for Linux. ```shell