From 47ff7920356042a51b6b14a869f823ca254670a9 Mon Sep 17 00:00:00 2001
From: Kaj Ailomaa
Date: Fri, 5 Apr 2013 17:44:06 +0200
Subject: [PATCH] Added some specifics about which released are affected by
gugs, and which are not
---
.../08_platform-specifics/01_ubuntu-linux.html | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
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 1ff627d3..bdb2e7bb 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
@@ -112,13 +112,17 @@ title: Ubuntu Linux
What is the problem?
- The specific issues known at this time (spring 2013) are:
+ The specific issues known at this time for all flavors of Ubuntu
+ 12.04 and 12.10 are:
- a bug in PulseAudio that causes it not to give up the
- soundcard when JACK asks (LP: #1163638
+ soundcard when JACK asks (LP: #1163638
+ (fixed in Ubuntu 13.04).
- 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
+ (fixed in Ubuntu 13.04)
+
Symptoms
@@ -131,8 +135,8 @@ 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.
+ These bugs do not affect the upcoming 13.04 release, and earlier
+ releases (12.04 and 12.10) are in the process of being fixed.