У меня есть файл, содержащий относительные пути ко многим файлам. Как напечатать из него в другой файл только имена PDF-файлов?
Краткий ответ :да, можно.
Вам нужно будет решить, какой стек вы хотите использовать, так как существует большой выбор, например, вы можете использовать Apache или Nginx в качестве примеров веб-серверов, а также MariaDB или PostgreSQL в качестве примеров баз данных.
То, как вы взаимодействуете со своим приложением для Android, будет зависеть от того, какой стек вы решите использовать.
Здесь я устанавливаю список относительных путей с некоторыми pdf и некоторыми нет.
$ cat list.txt
../myfiles/some.pdf
../myfiles/another.pdf
../../old.pdf
../../notapdf.txt
../nowhere/pdf with a space.pdf
Затем сценарий.
while read -r line; do echo $(basename "$line")
done <<< $(grep -i "\.pdf$" list.txt)
Это вызовет нечувствительный к регистру -grep в вашем списке файлов, чтобы выбрать файлы.pdf,.PDF или даже.PdF, если они названы так. Команда basename удалит начальный путь и оставит вам часть имени файла и напечатает ее. Это также будет обрабатывать пробелы в именах файлов.
Вывод будет:
some.pdf
another.pdf
old.pdf
pdf with a space.pdf
Надеюсь, это поможет.