[debian-edu-commits] debian-edu/ 01/01: Tag workarounds with FIXME to find remember to look at them later.

[Petter Reinholdtsen]

This is an automated email from the git hooks/post-receive script.

pere pushed a commit to branch master
in repository debian-edu-config.

commit 253836b67820e79c31a8f0563f69a1583bbebdba
Author: Petter Reinholdtsen <pere at hungry.com>
Date:   Fri Oct 24 14:54:59 2014 +0200

    Tag workarounds with FIXME to find remember to look at them later.
---
 share/debian-edu-config/d-i/pre-pkgsel | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/share/debian-edu-config/d-i/pre-pkgsel b/share/debian-edu-config/d-i/pre-pkgsel
index a397993..23511c2 100644
--- a/share/debian-edu-config/d-i/pre-pkgsel
+++ b/share/debian-edu-config/d-i/pre-pkgsel
@@ -208,6 +208,7 @@ EOF
     # Workaround for bug in d-i/udev, causing duplicate entries in
     # /etc/udev/rules.d/70-persistent-net.rules in both d-i and
     # /target/.  See bug $765577 for the details.
+    # FIXME remember to remove this code when the bug is fixed
     if in-target /usr/share/debian-edu-config/tools/workaround-udev-bug-765577 ; then
 	error "disabled duplicate udev rule (bug #765577)"
     else
@@ -309,6 +310,7 @@ create_initial_localadmin_user() {
 # Work around grub bug #712907 (see also bug #763580) by preseeding
 # grub-installer/choose_device to the disk used by /target/boot
 # This fix it for the most common case.
+# FIXME remember to remove this code when the bug is fixed
 workaround_grub_issue() {
     log "checking if grub workaround for bug #712907 should be activated."
     bootdev=$(grep /target/boot /proc/mounts | cut -d" " -f1)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu-config.git