Removed unused piece of code.

Shrikant Sharat
1 parent d22fb4b908
Showing 1 changed file with 0 additions and 18 deletions Side-by-side Diff
antigen.zsh
@@ -194,24 +194,6 @@ bundle-init () {
     compinit -i
 }
  
-# A python command wrapper. Almost the same as `python -c`, but dedents the
-# source string.
-py () {
-    code="$1"
-
-    # Find indentation from first line.
-    indent="$(echo "$code" | grep -m1 -v '^$' | grep -o '^\s*' | wc -c)"
-
-    # Strip that many spaces in the start from each line.
-    if [[ $indent != 0 ]]; then
-        indent=$(($indent - 1))
-        code="$(echo "$code" | sed "s/^\s\{$indent\}//")"
-    fi
-
-    # Run the piece of code.
-    python -c "$code"
-}
-
 # Does what it says.
 echo-non-empty () {
     echo "$@" | while read line; do
...	...	@@ -194,24 +194,6 @@ bundle-init () {
194	194	compinit -i
195	195	}
196	196
197		-# A python command wrapper. Almost the same as `python -c`, but dedents the
198		-# source string.
199		-py () {
200		- code="$1"
201		-
202		- # Find indentation from first line.
203		- indent="$(echo "$code" \| grep -m1 -v '^$' \| grep -o '^\s*' \| wc -c)"
204		-
205		- # Strip that many spaces in the start from each line.
206		- if [[ $indent != 0 ]]; then
207		- indent=$(($indent - 1))
208		- code="$(echo "$code" \| sed "s/^\s\{$indent\}//")"
209		- fi
210		-
211		- # Run the piece of code.
212		- python -c "$code"
213		-}
214		-
215	197	# Does what it says.
216	198	echo-non-empty () {
217	199	echo "$@" \| while read line; do