Skip to content

Escaping terminals and wildcard#167

Merged
nemtsov merged 6 commits intomainfrom
feature/terminal_escape
May 14, 2022
Merged

Escaping terminals and wildcard#167
nemtsov merged 6 commits intomainfrom
feature/terminal_escape

Conversation

@nemtsov
Copy link
Copy Markdown
Owner

@nemtsov nemtsov commented May 9, 2022

Based on #165

mochja added 2 commits May 4, 2022 14:45
allows filtering properties that contains special characters `,*()/`

use `\` (backslash) for escaping such characters:

foo\/bar, will filter JSON property that matches foo/bar.
@nemtsov nemtsov changed the title Escaping terminals and wildcardd Escaping terminals and wildcard May 9, 2022
@nemtsov nemtsov force-pushed the feature/terminal_escape branch from cd62d3d to 1e2ec72 Compare May 12, 2022 03:24
@nemtsov nemtsov merged commit 249ceea into main May 14, 2022
@nemtsov nemtsov deleted the feature/terminal_escape branch May 14, 2022 01:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants