Posted: . At: 5:33 AM. This was 13 years ago. Post ID: 1630
Page permalink. WordPress uses cookies, or tiny pieces of information stored on your computer, to verify who you are. There are cookies for logged in users and for commenters.
These cookies expire two weeks after they are set.


Useful Linux Mint & Ubuntu tips.


To change the default console font, type:

setfont /usr/share/consolefonts/Lat7-TerminusBold32x16.psf.gz

at the text console and then if you are happy with the size of that font, then type:

sudo dpkg-reconfigure console-setup

and set the same font there as you selected before, and then the initial ram disk will be rebuilt for the running kernel so that the settings you selected will be saved for the next boot. To get a blinking block cursor at the text console, type this command:

echo -e '\033[?6c'

If you are using the text console a lot you could put this into your .bashrc and it would be executed every time you log in.

If you are wanting to know how much disk space is remaining on your hard drives then type this command:

df -Hla

This will give you this output.

15:25:30-*-homer@homer-H55-USB3 ~$ df -Hla
Filesystem             Size   Used  Avail Use% Mounted on
/dev/sdb1              259G   3.8G   242G   2% /
proc                      0      0      0   -  /proc
none                      0      0      0   -  /sys
fusectl                   0      0      0   -  /sys/fs/fuse/connections
none                      0      0      0   -  /sys/kernel/debug
none                      0      0      0   -  /sys/kernel/security
none                   907M   816k   906M   1% /dev
none                      0      0      0   -  /dev/pts
none                   918M   2.7M   915M   1% /dev/shm
none                   918M   361k   918M   1% /var/run
none                   918M      0   918M   0% /var/lock
/dev/sdb3              124G    62G    56G  53% /home
binfmt_misc               0      0      0   -  /proc/sys/fs/binfmt_misc
gvfs-fuse-daemon          0      0      0   -  /home/homer/.gvfs
/dev/sdc2              249G    82G   168G  33% /media/MoreMedia
/dev/sdc1              252G   6.9G   245G   3% /media/Media
/dev/sda2              160G    48G   113G  30% /media/FADC6329DC62DF7F
/dev/sdb2              105G   269M    99G   1% /media/d25abd93-e974-45c1-8038-a81b4fd9d297

And to find out how many users are logged into your machine, type this and see:

finger -lmps

This will give you this resulting output.

15:28:57-*-homer@homer-H55-USB3 ~$ finger -lmps
Login: homer          			Name: Heathcliffe
Directory: /home/homer              	Shell: /bin/bash
On since Fri Jun 10 15:06 (EST) on tty7 from :0
    28 minutes 51 seconds idle
On since Fri Jun 10 15:07 (EST) on pts/0 from :0.0
No mail.

Using these commands will help keep track of what is happening on your Linux system and monitor your disk space usage as well which is very good if you are storing heaps of media files on your computer like I do. I have gigabytes of music and a few movies on my computer and I am always careful to keep a lot of disk space free.


Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.