Вы можете использовать:
for i in ./*.mp4; do echo "file" \'$(realpath ${i#*\/})\' >> files.txt; done
Если вам не нужно file перед каждым именем файла, вы можете использовать:
ls path/to/files/*.mp4 > files.txt
Результат из первой команды :
file '/home/george/Documents/askubuntu/disk_use.txt'
file '/home/george/Documents/askubuntu/efi_info.txt'
file '/home/george/Documents/askubuntu/empty.txt'
file '/home/george/Documents/askubuntu/fam.txt'
У Вас самое простое решение. Для регистронезависимого варианта использовать caseInsensitive:
var someString = "сб: 16:00-18:00, ПН: 13:00, Сб-Вс: 16:00"
let whatToReplace = ["Пн", "Вт", "Ср", "Чт", "Пт", "Сб", "Вс"]
let onWhichToReplace = ["-1-", "-2-", "-3-", "-4-", "-5-", "-6-", "-7-"]
assert(whatToReplace.count == onWhichToReplace.count)
for i in whatToReplace.indices {
someString = someString.replacingOccurrences(of: whatToReplace[i], with: onWhichToReplace[i], options: .caseInsensitive)
}
print(someString)