From 0514f856bc7321af4c3985807ad18eb4def9344c Mon Sep 17 00:00:00 2001 From: Nikolas Weger Date: Fri, 23 Jul 2021 14:38:24 +0200 Subject: [PATCH] prepare for chezmoi --- zsh/files/hosts.zsh | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 zsh/files/hosts.zsh diff --git a/zsh/files/hosts.zsh b/zsh/files/hosts.zsh deleted file mode 100644 index 134e608..0000000 --- a/zsh/files/hosts.zsh +++ /dev/null @@ -1,28 +0,0 @@ -removehost() { - hostname="$1" - - if grep -qP "[[:space:]]$hostname" /etc/hosts; then - echo "$hostname found in /etc/hosts. Removing now..." - sudo sed -ie "/[[:space:]]$hostname/d" /etc/hosts || echo "cannot remove host from /etc/hosts" >&2 - else - echo "$hostname was not found in /etc/hosts" >&2 - fi -} - -addhost() { - hostname="$1" - - if grep -qP "[[:space:]]$hostname" /etc/hosts; then - echo "$hostname already exists: $(grep "$hostname" /etc/hosts)" >&2 - else - echo "Adding $hostname to /etc/hosts..." - printf "%s\t%s\n" "127.0.0.1" "$hostname" | sudo tee -a /etc/hosts > /dev/null || echo "cannot add host to /etc/hosts" >&2 - - if grep -q "$hostname" /etc/hosts; then - echo "$hostname was added succesfully:" - grep "$hostname" /etc/hosts - else - echo "Failed to add $hostname" >&2 - fi - fi -}