From 724c059721573993914dfd470285a615ffcb8ef1 Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Sat, 14 Apr 2018 15:06:32 -0400 Subject: [PATCH] docs: simplify grep --- docs/home.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/home.html b/docs/home.html index fccf97cd1..14c06c487 100644 --- a/docs/home.html +++ b/docs/home.html @@ -140,7 +140,7 @@

$ - echo "trusty utopic vivid wily xenial yakkety zesty artful bionic" | grep -q "$OS_ID" || OS_ID="trusty" + echo "utopicvividwilyxenialyakketyzestyartfulbionic" | grep -q "$OS_ID" || OS_ID="trusty"