mirror of
https://github.com/dehydrated-io/dehydrated.git
synced 2026-01-13 23:23:32 +01:00
[PR #840] [CLOSED] Better handling around grep/awk #942
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/dehydrated-io/dehydrated/pull/840
Author: @bahamat
Created: 9/21/2021
Status: ❌ Closed
Base:
master← Head:issue-839📝 Commits (1)
3e063ccBetter handling around grep/awk📊 Changes
1 file changed (+2 additions, -2 deletions)
View changed files
📝
dehydrated(+2 -2)📄 Description
This fixes #839.
egrep -aoinstead of just-oto avoid selectingegrepwhen-ais not supported (i.e., gnu-grep egrep is not available)awkinstead ofgawk.gawkdoesn't support the escape sequence passed, so it wouldn't work anyway. But Non-GNU systems will usually have a different flavor of awk where the escape sequence does work.This has been tested on:
I can also test on others if that's helpful.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.