diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh index 122f69a0..f89f3df4 100755 --- a/debian-bootstrap.sh +++ b/debian-bootstrap.sh @@ -59,6 +59,7 @@ apt-get install -y \ libgsl0-dev \ libgtk-3-dev \ libgtk2.0-dev \ + libgtksourceview-3.0-dev \ libhidapi-dev \ libicu-dev \ libjudy-dev \