Dolphin partition names

[Roderick Johnstone]

On 03/11/10 16:05, Roderick Johnstone wrote:
> On 02/11/10 22:21, Chris Smart wrote:
>> On Wed, Nov 3, 2010 at 1:04 AM, Roderick Johnstone<rmj at ast.cam.ac.uk>   wrote:
>>> I can't think where Dolphin is getting the old labels from. Some cache
>>> somewhere I guess.
>>>
>>
>> What does the kernel show?
>> ls /dev/disk/by-label/
>
> It shows the new labels!
>
> Roderick

ok fixed. It needed hal to be restarted.

Thanks for everyone's ideas.

Roderick