удалить первые 3 символа в строках

Вы перепутали адрес, вам сюда - https://chat.openai.com

Вариант с awk:

$ cat 1.txt
12345
34567
45678
$ awk '{sub(/^.../, ""); print}' 1.txt > 2.txt
$ cat 2.txt 
45
67
78

На bash:

$ while IFS= read -r line; do echo "${line#???}"; done < 1.txt
45
67
78

Спасибо, помогло вот это - sed ‘s/…//’ 1.txt > 2.txt :)

Вариант с cut:

$ cat 1.txt
12345
34567
45678
$ cut -c 4- 1.txt > 2.txt
$ cat 2.txt
45
67
78

ChatGPT предложил точь-в-точь такой же вариант, с cut. Сам бы я такое простенькое не придумал. )
А учитывая комменты выше, многие тоже пошли по ‘усложненному’ пути.

А учитывая комменты выше, многие тоже пошли по ‘усложненному’ пути.

Все зависит от того, что ты потом собрался делать с оставшейся частью строки. Если просто записать в файл то сгодятся варианты на sed или cut. Если же нужно еще что-то отфильтровать или выполнить команды — то вариант с awk будет удобнее, так как после откусывания ненужного можно еще какие-то операции выполнить не перегоняя данные через пайп.

foo=hello
left=${foo:0:3}
echo ${foo#$left}

https://devhints.io/bash

foo=hello
left=${foo:0:3}
echo ${foo#$left}

foo=hello 
echo ${foo:3}

sed ‘s/...//’

А что должно происходить со строками, допустим, из 2х символов? Ну, это я так - мысли вслух…

А что должно происходить со строками, допустим, из 2х символов? Ну, это я так - мысли вслух…

а если эти символы русско-китайской дружбы, то есть весьма многобайтовые,или немецкие умляуты, неразрывные пробелы..тоже мысли вслух

странно что никто ещё не забубенил питон, лисп и раст..мельчает ЛОР :-)

По идее, конец строки это тоже символ.