1 files changed, 1 insertions, 1 deletions
diff --git a/bashrc b/bashrc
index 7203b73..b0d88f3 100755
--- a/bashrc
+++ b/bashrc
@@ -1,7 +1,7 @@
 # -*- sh -*-
 
 dent_me() {
-    echo "$@" | bti --host "${BTI_HOST}" --account "${BTI_ACCOUNT}" --password "${BTI_PASSWORD}" >/dev/null
+    echo "$@" | bti ${BTI_PROXY:+--proxy "${BTI_PROXY}"} --host "${BTI_HOST}" --account "${BTI_ACCOUNT}" --password "${BTI_PASSWORD}" >/dev/null
 }
 
 metadata_print() {