Your message dated Mon, 6 Aug 2018 18:49:59 +0100 with message-id <[email protected]> and subject line Re: Bug#710886: anki: Crash on startup with "No such file or directory: /home/pre/.anki/plugins" when home directory is full has caused the Debian Bug report #710886, regarding anki: Crash on startup with "No such file or directory: /home/pre/.anki/plugins" when home directory is full to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 710886: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=710886 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: anki Version: 1.2.11-1 Severity: minor When starting anki for the first time in Debian Edu Wheezy, I got a popup with this message (manually typed, cut-n-pase did not work): Error during startup: Traceback (most recent call last): File "/usr/share/anki/ankiqt/ui/main.py", line 95, in __init__ self.loadPlugins() File "/usr/share/anki/ankiqt/ui/main.py", line 2674, in loadPlugins() plugins = self.enabledPlugins() File "/usr/share/anki/ankiqt/ui/main.py", line 2747, in enabledPlugins return [p for p in os.listdir(self.pluginsFolder()) OSError: [Errno 2] No such file or directory: '/home/pre/.anki/plugins' [OK] The cause was that the home directory was full. The error message is misleading, and I assume the code actually creating the directory failed. It would be better if that error was reported instead. -- Happy hacking Petter Reinholdtsen
--- End Message ---
--- Begin Message ---Version: 2.0.11+dfsg-1 It seems that this bug report was never actually closed. Closing it now. Best wishes, Julian On Mon, Jun 03, 2013 at 10:47:17AM +0200, Petter Reinholdtsen wrote: > Package: anki > Version: 1.2.11-1 > Severity: minor > > When starting anki for the first time in Debian Edu Wheezy, I got a > popup with this message (manually typed, cut-n-pase did not work): > > Error during startup: > Traceback (most recent call last): > File "/usr/share/anki/ankiqt/ui/main.py", line 95, in __init__ > self.loadPlugins() > File "/usr/share/anki/ankiqt/ui/main.py", line 2674, in loadPlugins() > plugins = self.enabledPlugins() > File "/usr/share/anki/ankiqt/ui/main.py", line 2747, in enabledPlugins > return [p for p in os.listdir(self.pluginsFolder()) > OSError: [Errno 2] No such file or directory: '/home/pre/.anki/plugins' > [OK] > > The cause was that the home directory was full. The error message is > misleading, and I assume the code actually creating the directory > failed. It would be better if that error was reported instead. > > -- > Happy hacking > Petter Reinholdtsen
--- End Message ---
