Semantic history: detect line number suffix emitted by shellcheck

Feature Request

Summary

Extend semantic history line number detection patterns to support the sorts of line references emitted by shellcheck (and, I assume, other tools). They look like this:

In device_setup_keys.bash line 28:
    keytype=$(echo "$keyname" | sed 's/ssh_host_\(.*\)_key/\1/')
              ^-- SC2001 (style): See if you can use ${variable//search/replace} instead.

The pattern that would need to be added would be:

@" line (\\d+):"

(I did not test this, but I believe it would work.)

Alternatives

I can't think of another way to accomplish this besides jumping to the line number manually once my editor opens.

Concerns

• Privacy - not a concern
• Performance - minimal impact
• Memory - minimal impact
• Complexity - minimal impact
• Is this an instance of a more general problem? - yes: these patterns are not configurable at runtime.

---