Gabriele Giacone, le Tue 01 Apr 2014 13:07:21 +0200, a écrit :
> diff --git a/debian/initscripts.postinst b/debian/initscripts.postinst
> index 7288c2c..731d360 100755
> --- a/debian/initscripts.postinst
> +++ b/debian/initscripts.postinst
> @@ -243,13 +243,12 @@ then
>       if [ "$current" != "$new" ]; then
>           echo "Switching from runsystem.$current to runsystem.$new."
>           echo
> +         echo "You can use update-alternatives --config runsystem to select"
> +         echo "the runsystem to use."
> +         echo
> +         echo "You must use halt-hurd or reboot-hurd to halt or reboot the"
> +         echo "system whenever you change the runsystem."
>       fi
> -
> -     echo "You can use update-alternatives --config runsystem to select"
> -     echo "the runsystem to use."
> -     echo
> -     echo "You must use halt-hurd or reboot-hurd to halt or reboot the"
> -     echo "system whenever you change the runsystem."
>  fi
>  
>  # Ensure we have a random seed on first boot.

Well, I don't really have an opinion on this: it's good to remind the
user how to do it.  Justus, what do you think?

Samuel


-- 
To UNSUBSCRIBE, email to debian-hurd-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/20140407233928.gb18...@type.youpi.perso.aquilenet.fr

Reply via email to