В системе Радж GNU/LINUX есть набор файлов и папок в его домашнем каталоге (находится в /home /raj). Он хочет найти все файлы PDF, которые начинаются с последовательности символов "lib" и содержат число "23" где-то в имени файла. Какую команду он должен ввести в командной строке, чтобы найти эти файлы.