From aad804366825a7a73434c2f3e75153cb14007534 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rodolphe=20Br=C3=A9ard?= <rodolphe@what.tf>
Date: Thu, 14 Jan 2021 11:49:31 +0100
Subject: [PATCH] Proxy settings

---
 .bashrc | 3 +++
 .zshrc  | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.bashrc b/.bashrc
index 54f7e42..b63617c 100644
--- a/.bashrc
+++ b/.bashrc
@@ -45,3 +45,6 @@ pgrep -x -u "${USER}" gpg-agent >/dev/null 2>&1 && export SSH_AGENT_PID=$(pgrep
 
 # Aliases
 [ -f "$HOME/.aliases" ] && . "$HOME/.aliases"
+
+# Proxy settings
+[ -f "$HOME/.proxy" ] && . "$HOME/.proxy"
diff --git a/.zshrc b/.zshrc
index 3df0c85..ef3bd27 100644
--- a/.zshrc
+++ b/.zshrc
@@ -44,6 +44,9 @@ fi
 # Aliases
 [ -f "$HOME/.aliases" ] && . "$HOME/.aliases"
 
+# Proxy settings
+[ -f "$HOME/.proxy" ] && . "$HOME/.proxy"
+
 # Compose key
 [ -f ~/.set_compose_key.sh ] && . ~/.set_compose_key.sh