Hello, Milos Nikic, le lun. 23 mars 2026 10:05:11 -0700, a ecrit: > The script is tested on both 64 and 32 bit and it looks useful to people.
I'm not sure in which way it is useful, actually. Sure, it allows to build mig/gnumach/hurd, but then what? If people want to change one of these, they have to rebuild it, and know to install it, etc. and we already have building packages for mig/gnumach/hurd, if something is missing there, it should be documented there, duplicating the information would lead to two half-up-to-date copies rather than one up-to-date. > +# Persist PATH update > +if ! grep -q "$GNU_PREFIX/bin" ~/.bashrc; then > + echo "export PATH=\"$GNU_PREFIX/bin:\$PATH\"" >> ~/.bashrc > +fi > +export PATH="$GNU_PREFIX/bin:$PATH" I don't think it's good to modify people's .bashrc under their feet, they should really know what they are doing. Samuel
