filesystem

So, I was working on a system remotely over ssh and I had to find out what filesystem was a particular partition formatted into. The thing looks trivial, but if you have been using some GUI app for this, then it won't come easy if you are working on a console. The trick in such situations is to look into the commands that deal with stuff similar to what you want, i.e disks & partitions in my case. So, I went for df, & parted.

Have you ever noticed that after formatting a partition or external storage device - hard disk etc. into ext2/3/4 decreases the total available disk space by some amount? That's because the file-system reserves some part of the space to privileged processes. This is done to make sure that in case of file-system fill up, when user processes may not be allowed to write to disk, privilege system processes(or root user) may still be able to function properly(write on disk) e.g. syslogd etc.