HAL partition names don't match real partition names
For some reason that I cannot grok HAL is rewriting partition names for devices. The name /dev/dsk/c5t0d0p1 becomes /dev/dsk/c50d0p0:1. This is a problem because all utilities that are backed by HAL (such as rmmount and rmformat) require names to be formatted this way or they won't work (returning a silly error like "device not found"). It's a seemingly unnecessary change which just makes things inconsistent.
Updated by Andrew Stormont about 8 years ago
Updated webrev: http://cr.illumos.org/~webrev/andy_js/4846-3/
Example output of eject -l before the changes:
andy@openindiana:~$ eject -l /dev/dsk/c5t0d0p0:1 rmdisk,rmdisk0,UNTITLED,/media/UNTITLED /dev/dsk/c3t0d0s2 cdrom,cdrom0,cd,cd0,sr,sr0
And after the changes:
andy@openindiana:~$ eject -l /dev/dsk/c5t0d0p1 rmdisk,rmdisk0,UNTITLED,/media/UNTITLED /dev/dsk/c3t0d0s2 cdrom,cdrom0,cd,cd0,sr,sr0
I think this is better because the device names are now consistent across tools that are backed by HAL (like eject, rmformat, rmmount and rmumount) and tools which are not (such as fdisk and gparted).