diff --git a/settings.json b/settings.json index 32dc02e..2aa8d9b 100644 --- a/settings.json +++ b/settings.json @@ -16,11 +16,8 @@ "Bash(sudo *)", "Bash(mkfs *)", "Bash(dd *)", - "Bash(curl *|bash*)", - "Bash(curl *| bash*)", "Bash(wget *|bash*)", "Bash(wget *| bash*)", - "Bash(bash <(curl *))", "Bash(git push --force*)", "Bash(git push *--force*)", "Bash(git reset --hard*)",