What happened to mined?

[Bill Hacker]

Matthew Dillon wrote:

:
:After all the effort to get a lite static-compiled 'emergency' editor 
:into the environment, it seems to have gone walkabout.
:
:Have I missed something?
:
:Bill

    It was committed a while ago.  Any system build should have it now.
    /usr/src/bin/mined.
					-Matt
					Matthew Dillon 
					<dillon at xxxxxxxxxxxxx>
??

More puzzled now than before...  I can see making things 'optional' and 
requiring initial migration where appropriate as part of a sysadmin's 
'personalization' of tools, as with bash (license issue), or joe.

But '/usr/src' is an empty directory on a default install from ISO CD. 
At least, mine is.

And, if /usr is mounted then vi, joe, emacs, whatever .. and their libs, 
would be just as 'available', so no particular need for 'static' mined.

To the extent the objective was to have an emergency editor 'always near 
to hand' to help get out of trouble, i.e. - in /bin or /sbin as a static 
(stripped) binary in case one had to edit /etc/rc(whatever) or 
/etc/fstab - having it in /usr/src/bin seems to run counter.

. ..even if it was actually there...

Bill