It seems that I've removed head manually from my
a couple of months ago. Now that I chance to need it I don't have it.
How do I reinstall it without reinstalling the whole distro?
My environment: Ubuntu 20.04 LTS Desktop.
You can re-install
head by re-installing the package which contains it; from a terminal window, run
sudo apt reinstall coreutils
(In older versions of
apt, pre-1.8.0~rc1, run
sudo apt install --reinstall coreutils instead.)
You can determine which package is involved by running
dpkg -S bin/head