删除字符串的第一个字符的建议方法是什么？
我查看了字符串方法的文档,但是我没有看到任何像javascript的String.slice()那样的函数.
我有一个文件
foo
--
bar
我只想要分隔符上方的线。我已经为此苦苦挣扎了太久，并尝试了多种变体。我的一班班轮是：
echo -e "foo\n-- \nbar" | gawk -v x=0 -- '/^--\ / { x++ } ; IF (x==0) {print} '
这应该只打印“foo”，但我得到了整个文件输出。如果我更改为 print x 我得到
0
1
1
我似乎无法让 make awk 根据 x 的值有条件地打印一行。我知道我错过了一些简单的事情。