Comment 22 for bug 8732

(In reply to comment #21)
> Shell = just standard bash. I didn't change any settings for the shell as far as
> I remember.

Ok you can just check where /bin/sh points to, but i guess it's bash.

> It's just a desktop, so a reinstall is possible. How easy/difficult is it to
> change the filesystem without a reinstall? Can it be done from remote? (I'm
> using SSH now -at work- and I'm afraid I don't have much time for a complete
> reinstall next days...)

Well you need to be able to copy all the data from the partition somewhere,
umount the partition, format it, change the /etc/fstab, remount it and copy
the data over again.

Theoretically it can be done remotly, until you don't lock yourself out ;)

Fabio