Hi,
Marco d'Itri wrote:
> If /tmp is noexec then the administrator mounted it this way and knows
> about it.
Yeah, but that is possibly such a long time ago that it's not the
first thought. So a small hint to fresh up the memory can't be bad.
> So if he is smart enought to mount /tmp noexec then he can probably
> understand that he needs to copy the old binary somewhere else if
> and when it will be needed.
Yeah, and mentioning exactly this in the debconf notice makes it user
friendly, too.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
`- | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
