From: Kaj Ailomaa
Date: Fri, 5 Apr 2013 15:26:42 +0000 (+0200)
Subject: How to fix issues with bugs
X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a937321e28308b3e764f34d8aab7fc80d4d265a;hp=ed2265ccd2d78aa14437b7cca511f4f39e9654b6;p=ardour-manual
How to fix issues with bugs
---
diff --git a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
index 667c80f..8948cb1 100644
--- a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
+++ b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
@@ -115,8 +115,8 @@ title: Ubuntu Linux
- a bug in PulseAudio that causes it not to give up the
soundcard when JACK asks (LP: #1163638
- - a bug that causes jackdbus v.1.9.8 (jackd does not suffer from this) to freeze up when told to stop,
- causing issues with restarting (LP: #956438
+ - a bug that causes jackdbus v.1.9.8 (jackd does not suffer from this)
+ to freeze up when told to stop, causing issues with restarting (LP: #956438
Symptoms
@@ -129,6 +129,10 @@ title: Ubuntu Linux
How to fix
+
+ Install jackd2 1.9.9 to fix crash on stop bug.
+ Install pulseaudio-3.0 to fix card reservation bug.
+