Skip to content

Instantly share code, notes, and snippets.

Se modifica el archivo en modo adminitrador:
~ sudo [nombre_editor] /etc/environment/
y se agregan estas líneas
no_proxy="127.0.0.1,localhost"
NO_PROXY="127.0.0.1,localhost"
all_proxy=socks://172.21.0.12:3128/
ALL_PROXY=socks://172.21.0.12:3128/
@andru255
andru255 / gist:6025575
Created July 17, 2013 23:45
3er forma de tunear el bashrc esta vez mostrando el signo del status de un repo bajo git y orden chevere a color de la ruta bajo []
if [ -f /etc/bash_completion ]; then
source /etc/bash_completion
fi
__has_parent_dir () {
# Utility function so we can test for things like .git/.hg without firing up a
# separate process
test -d "$1" && return 0;
current="."
@luismayta
luismayta / datos de branch.git
Last active October 12, 2015 15:28
habilitar nombre de branch en git
#copiar en el archivo bashrc
export PS1='\u@\h:\w\[\033[32m\]$(__git_ps1 " (%s)")\[\033[0m\]$ '
export GIT_PS1_SHOWDIRTYSTATE=true
export GIT_PS1_SHOWSTASHSTATE=true
export GIT_PS1_SHOWUNTRACKEDFILES=true
export GIT_PS1_SHOWUPSTREAM="auto"