|
From: | Júlio Hoffimann Mendes |
Subject: | [Octave-patch-tracker] [patch #8441] Add support to "wav" extension in playaudio |
Date: | Fri, 25 Apr 2014 23:02:14 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Ubuntu Chromium/34.0.1847.116 Chrome/34.0.1847.116 Safari/537.36 |
Follow-up Comment #3, patch #8441 (project octave): Should the patch be merged meanwhile? Another issue with the current implementation is that normal users don't have permission to write on "/dev". An error message is raised such as: sh: 1: cannot create /dev/audio: Permission denied _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?8441> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |