distro.txt file used in The Linux Command Line book