Bug#724089: source-highlight: FTBFS: Tests failed

2013-10-22 Thread Lorenzo Bettini
instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures. -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino HOME: http://www.lorenzobettini.it Xtext Book: http://www.packtpub.com/implementing-domain

Bug#709499: Documentation is non free

2013-05-26 Thread Lorenzo Bettini
Oh, this modification is already in the git repository On 05/24/2013 05:36 PM, Bastien ROUCARIÈS wrote: Le vendredi 24 mai 2013 10:56:22, Lorenzo Bettini a écrit : On 05/23/2013 06:07 PM, Bastien ROUCARIÈS wrote: Package: source-highlight Severity: serious user: debian...@lists.debian.org

Bug#709499: Documentation is non free

2013-05-24 Thread Lorenzo Bettini
relicense, remove or repackage Hi what should be done to fix this? I'm the author of source-highlight Lorenzo -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino HOME: http://www.lorenzobettini.it -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject

Bug#695793: source-highlight: includes non-free documentation (GFDL with unmodifiable sections)

2012-12-31 Thread Lorenzo Bettini
On 12/31/2012 04:31 AM, David Prévot wrote: Hi, On Fri, Dec 14, 2012 at 03:55:28PM +0100, Jakub Wilk wrote: * Lorenzo Bettini bett...@dsi.unifi.it, 2012-12-13, 09:29: As per GR 2006-001, works licensed under GFDL with unmodifiable sections are not suitable for main: http://www.debian.org

Bug#695793: source-highlight: includes non-free documentation (GFDL with unmodifiable sections)

2012-12-13 Thread Lorenzo Bettini
GFDL with unmodifiable sections are not suitable for main: http://www.debian.org/vote/2006/vote_001 how should I change the documentation? -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http://www.lorenzobettini.it MUSIC

Bug#620056: where are the suggestions

2011-10-31 Thread Lorenzo Bettini
Hi but where are the suggestions that powertop used to propose? I can't see them anymore in 1.97... Lore -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#583099: is the problem still present

2010-06-17 Thread Lorenzo Bettini
On 06/16/2010 01:51 PM, Julien Cristau wrote: On Wed, May 26, 2010 at 13:56:15 +0200, Lorenzo Bettini wrote: Hi this test failure seems to have disappeared in the current version, 3.1.3-2, doesn't it? https://buildd.debian.org/fetch.cgi?pkg=source-highlight;ver=3.1.3-2;arch=armel;stamp

Bug#583099: is the problem still present

2010-05-26 Thread Lorenzo Bettini
Hi this test failure seems to have disappeared in the current version, 3.1.3-2, doesn't it? -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com http

Bug#561140: source-highlight: Missing file for .php processing

2010-05-26 Thread Lorenzo Bettini
To solve the problem (already fixed in recent versions of source-highlight), you could also modify the lang.map file with these lines: php3 = php.lang php4 = php.lang php5 = php.lang php = php.lang -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino ICQ# lbetto, 16080134 (GNU

Bug#528904: please add info-dir-section to your info files

2009-06-07 Thread Lorenzo Bettini
Sorry, I didn't check the version you're referring to: in the current version the @dircategory is already set. hope this helps cheers Lorenzo -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http

Bug#528904: please add info-dir-section to your info files

2009-06-05 Thread Lorenzo Bettini
). library for highlighting @end direntry if so, should I add to both .texinfo files? I mean, both source-highlight.texinfo and source-highlight-lib.texinfo? thanks in advance Lorenzo -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino ICQ# lbetto, 16080134 (GNU/Linux User

Bug#448178: knetworkmanager does not see wireless networks

2007-10-26 Thread Lorenzo Bettini
Package: network-manager-kde Version: 1:0.2~svn678822-3 Severity: normal --- Please enter the report below this line. --- Although my wireless network card works correctly and I can connect to wireless networks through wpa-supplicant and wifi-radar, knetwork manager does not seem to be able to

Bug#441228: source highlighting works fine but for php

2007-09-08 Thread Lorenzo Bettini
cheers Lorenzo -- Lorenzo Bettini, PhD in Computer Science, DSI, Univ. di Firenze ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com http://www.myspace.com/supertrouperabba BLOGS: http://tronprog.blogspot.com http

Bug#441228: source highlighting works fine but for php

2007-09-08 Thread Lorenzo Bettini
it out. http://answers.yahoo.com/dir/?link=listsid=396545469 -- Lorenzo Bettini, PhD in Computer Science, DSI, Univ. di Firenze ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com http://www.myspace.com/supertrouperabba

Bug#396349: cupsys-driver-gutenprint: driver stp-escp2-ii.5.0.ppd.gz for Epson Stylus Color II does not print correctly

2007-07-16 Thread Lorenzo Bettini
Roger Leigh ha scritto: Lorenzo Bettini [EMAIL PROTECTED] writes: Roger Leigh wrote: Lorenzo Bettini [EMAIL PROTECTED] writes: Roger Leigh wrote: Lorenzo Bettini [EMAIL PROTECTED] writes: After manually selecting this driver for Epson Stylus Color II, /usr/share/cups/model/gutenprint

Bug#425390: icedove: Mailboxes and settings lost after upgrade

2007-05-28 Thread Lorenzo Bettini
Trying to revert to 1.5 did not work for me: I got a segmentation fault... the only solution was to purge icedove and then reinstall it... -- Lorenzo Bettini, PhD in Computer Science, DSI, Univ. di Firenze ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http://www.lorenzobettini.it

Bug#425790: icedove: clicking links does not spawn web browser

2007-05-28 Thread Lorenzo Bettini
I'm using KDE too and having the same problem... I installed icedove-gnome-support but the problem still persists... -- Lorenzo Bettini, PhD in Computer Science, DSI, Univ. di Firenze ICQ# lbetto, 16080134 (GNU/Linux User # 158233) HOME: http://www.lorenzobettini.it MUSIC: http

Bug#416152: /system/checkfs start stops boot by complaining there is no device /dev/hdxx

2007-03-25 Thread Lorenzo Bettini
freedom.dicea.unifi.it 1 experimentalfreedom.dicea.unifi.it --- Package information. --- Depends (Version) | Installed =-+-= libc6(= 2.3.5-1) | 2.3.6.ds1-13 udev | 0.105-3 -- Lorenzo Bettini, PhD in Computer Science, DSI, Univ

Bug#369020: still problems

2006-12-18 Thread Lorenzo Bettini
) -- +-+ | Lorenzo Bettini ICQ# lbetto, 16080134 | | PhD in Computer Science, DSI, Univ. di Firenze | | Florence - Italy(GNU/Linux User # 158233) | | http://www.lorenzobettini.it| | http://tronprog.blogspot.com BLOG | | http

Bug#369020: still problems

2006-12-18 Thread Lorenzo Bettini
José Luis Tallón wrote: Lorenzo Bettini wrote: Hi I trying to upgrading to 1.2.4-6 but the problem still persists: I cannot upgrade it nor remove it: Removing imapproxy ... Stopping IMAP proxy: invoke-rc.d: initscript imapproxy, action stop failed. dpkg: error processing imapproxy (--remove

Bug#369020: BUG prevents upgrade and removal

2006-11-29 Thread Lorenzo Bettini
I tried setting foreground_mode to yes, but the problem still persists... I cannot upgrade it nor remove it... -- +-+ | Lorenzo Bettini ICQ# lbetto, 16080134 | | PhD in Computer Science, DSI, Univ. di Firenze | | Florence

Bug#394714: apache2-mpm-prefork: Apache2 child processes segfaults

2006-11-07 Thread Lorenzo Bettini
() #11 0x080621ef in main () and I don't have mod ssl... so the problem looks in libphp4? -- +-+ | Lorenzo Bettini ICQ# lbetto, 16080134 | | PhD in Computer Science, DSI, Univ. di Firenze | | Florence - Italy(GNU/Linux

Bug#396349: cupsys-driver-gutenprint: driver stp-escp2-ii.5.0.ppd.gz for Epson Stylus Color II does not print correctly

2006-11-03 Thread Lorenzo Bettini
Roger Leigh wrote: Lorenzo Bettini [EMAIL PROTECTED] writes: After manually selecting this driver for Epson Stylus Color II, /usr/share/cups/model/gutenprint/5.0/en/stp-escp2-ii.5.0.ppd.gz, as reported in the documentatio n of gutenprint, the test page does not print correctly: Which test

Bug#396349: cupsys-driver-gutenprint: driver stp-escp2-ii.5.0.ppd.gz for Epson Stylus Color II does not print correctly

2006-11-03 Thread Lorenzo Bettini
Roger Leigh wrote: Lorenzo Bettini [EMAIL PROTECTED] writes: Roger Leigh wrote: Lorenzo Bettini [EMAIL PROTECTED] writes: After manually selecting this driver for Epson Stylus Color II, /usr/share/cups/model/gutenprint/5.0/en/stp-escp2-ii.5.0.ppd.gz, as reported in the documentatio n

Bug#373722: [Pkg-cups-devel] Bug#373722: web interface doesn't show list of available cupsys-driver-gutenprint drivers when adding a new printer

2006-10-31 Thread Lorenzo Bettini
-ii.5.0.ppd.gz, which does not even print correctly, but that's another issue). Lorenzo -- +-+ | Lorenzo Bettini ICQ# lbetto, 16080134 | | PhD in Computer Science, DSI, Univ. di Firenze | | Florence - Italy(GNU/Linux

Bug#396349: cupsys-driver-gutenprint: driver stp-escp2-ii.5.0.ppd.gz for Epson Stylus Color II does not print correctly

2006-10-31 Thread Lorenzo Bettini
Package: cupsys-driver-gutenprint Version: 5.0.0-2 Severity: normal After manually selecting this driver for Epson Stylus Color II, /usr/share/cups/model/gutenprint/5.0/en/stp-escp2-ii.5.0.ppd.gz, as reported in the documentatio n of gutenprint, the test page does not print correctly: e.g.

Bug#383715: Can't login to imp4 with imap, although horde works fine.

2006-10-24 Thread Lorenzo Bettini
of *this array. * 'search_charset' - (boolean) Whether the IMAP server supports * charset selection during searches. -- +-+ | Lorenzo Bettini ICQ# lbetto, 16080134 | | PhD in Computer Science

Bug#393452: other workaround

2006-10-18 Thread Lorenzo Bettini
alternatively, run icedove instead of thunderbird (I find this quicker) -- +-+ | Lorenzo Bettini ICQ# lbetto, 16080134 | | PhD in Computer Science, DSI, Univ. di Firenze | | Florence - Italy(GNU/Linux User # 158233

Bug#391493: horde3: please change the default for What path should we set cookies to

2006-10-06 Thread Lorenzo Bettini
Package: horde3 Version: 3.1.3-1 Severity: important -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (990, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel:

Bug#383715: Can't login to imp4 with imap, although horde works fine.

2006-10-06 Thread Lorenzo Bettini
clients and poorly-designed IMAP clients. so what could be the problem? previous versions of imp4 used to work fine (the last working version used to be imp4_4.0.2-2_all.deb) any clue please? thanks in advance -- +-+ | Lorenzo Bettini

Bug#384262: solution of reverting to older version not working [SOLVED]

2006-09-26 Thread Lorenzo Bettini
concerning my previous email, I solved the problem: I kept xorg 7.1 and installed the new version of the NVIDIA driver: NVIDIA-Linux-x86-1.0-8774-pkg1.run -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Bug#384262: solution of reverting to older version not working

2006-09-25 Thread Lorenzo Bettini
I downloaded the xserver-xorg-core_2:1.0.2-10_i386.deb from debian snapshot, but if I simply use dpkg -i to install it, then, when I start X I get this error: (EE) module ABI major version (1) doesn't match the server's version (0) (EE) Failed to load module v4l (module requirement mismatch,