Walter Bright Wrote: > Walter Bright wrote: > > Andrei Alexandrescu wrote: > >> This seems pretty urgent. Walter? > > > > I asked Jordi, who prepares the .deb files. > > Should the binaries be installed on /usr/local/bin instead? I'd vote for /dev/null Make a separate package for all the extras, and don't use generic names like shell or make.