What does "$@@" do? I have used just "$@" for what the script at the end is tryi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

dooglius on Sept 11, 2022 | parent | context | favorite | on: (Changes to grep) Time To Stop Using egrep and fgr...

What does "$@@" do? I have used just "$@" for what the script at the end is trying to accomplish, is there some edge case where that fails?

suntuba on Sept 11, 2022 [–]

I think that's just the markup for a single @-sign.

thristian on Sept 11, 2022 | [–]

Yeah, GNU TeXinfo uses @ as its meta-character, so a source file needs @@ to produce @ in the output.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact