Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-31 19:20:22 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #26418 - CrazyRoka:fix-fedora-installation-guide, r=jdm

Browse source 
Fix Fedora installation guide

Added necessary library to guide for successful installation on Fedora Linux.
Closes #26417
This commit is contained in:
bors-servo 2020-05-04 21:44:31 -04:00 • committed by GitHub
commit 173bfadaa7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -89,7 +89,7 @@ If you get an undefined symbol error on `gst_player_get_config` try removing `gi
#### On Fedora #### On Fedora
``` sh ``` sh
sudo dnf install python3 python3-virtualenv python3-pip sudo dnf install python3 python3-virtualenv python3-pip python3-devel
python3 ./mach bootstrap python3 ./mach bootstrap
``` ```