Команда man показывает: ничего подходящего.

Я предполагаю, что человек, который также не возвращает никаких результатов? На моей установке Ubuntu 18.04 вывод man -k, который | wc -l показывает, что есть 33 случая.

Может быть, вы забыли установить соответствующие страницы пакетов/man (например, /usr/share/man/man1/which.1.gz является частью пакета debianutils)? Если вышеприведённый файл найден, проверьте значение переменной окружения MANPATH (и, возможно, отмените её).