How does one delete the first known character in a string with sed?
For example, say I want to delete the first character (which is @) in the string "@ABCDEFG1234"
I want sed to verify whether "@" exists as the first character. If so, it should delete the character.
+which does not need to be escaped although it stands for 1 or more in regex. – Timo Nov 04 '20 at 07:56