| Summary: | File links of the form name:number:number don't ignore numbers when opening | ||
|---|---|---|---|
| Product: | [Applications] konsole | Reporter: | FeepingCreature <default_357-line> |
| Component: | kpart | Assignee: | Konsole Bugs <konsole-bugs-null> |
| Status: | REPORTED --- | ||
| Severity: | minor | CC: | bjourne |
| Priority: | NOR | ||
| Version First Reported In: | 20.08.2 | ||
| Target Milestone: | --- | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
FeepingCreature
2020-11-16 11:00:07 UTC
Mind that "filename.txt:" when not followed by a number *should* drop the colon, as that is the output used by e.g. multifile grep. (Also, kwrite cannot handle it.) This leads to an ambiguity where grep finds a line beginning with a number, however that ambiguity is almost certainly harmless - worst case, the grepped file is opened at an unexpected line. *** Bug 472533 has been marked as a duplicate of this bug. *** |