X-Git-Url: http://gitweb.pimeys.fr/?p=config-20-100.git;a=blobdiff_plain;f=.bash_aliases;h=d3ef170da7ed3905f5ca689b36ddae7df9b6cbbd;hp=57ab92ead0e21e44c082d94f9955ce2a6507797c;hb=760346882ebd26fcfc4192bebb1c8adf5f6221b8;hpb=3b3935d5fa61bbeaea6d19b9b71937f51094dbf9 diff --git a/.bash_aliases b/.bash_aliases index 57ab92e..d3ef170 100644 --- a/.bash_aliases +++ b/.bash_aliases @@ -47,7 +47,8 @@ alias LS='LS -e' alias sshadd='ssh-add -t 1800' #~# # Tunnels (pour les membres actifs) -#~# alias sshimprimante="echo -e 'Port : 2222\nRappel : http://localhost:2222';ssh -L 2222:imprimante.adm.crans.org:80 vo" +#~# alias sshimprimante="echo -e 'Port : 2222\nRappel : https://localhost:2222';ssh -L 2222:imprimante.adm.crans.org:443 vo" +#~# alias sshcups="echo -e 'Port : 3333\nRappel : http://localhost:3333';ssh -L 3333:o2.adm.crans.org:631 vo" #~# alias sshbabar="echo -e 'Port : 3333\nRappel : http://localhost:3333/backuppc';ssh -L 3333:babar.adm.crans.org:80 vo" @@ -70,11 +71,11 @@ alias sshadd='ssh-add -t 1800' #~# # Permet d'aliaser les commandes dans lesquelles on pipe usuellement #~# # pour qu'elle marche aussi quand elles sont précédées d'une espace insécable. #~# -#~# for commande in grep egrep fgrep wc tail head less sed awk xargs sort uniq +#~# for commande in grep egrep fgrep wc tail head less sed awk xargs sort uniq sponge #~# do #~# alias  $commande=$commande #~# done - +#~# unset commande # +--------------------------------------+ # | Gestion de variables d'environnement | @@ -103,7 +104,11 @@ alias sshadd='ssh-add -t 1800' #~# # Pour que les semaines de cal commencent le Lundi #~# alias cal='ncal -bM' - +#~# # Hack pour déclencher les hooks sur un dépôt bare git +#~# # (genre git-update-server-info et/ou trigger KGB) +#~# # en faisant un truc bidon et transparent pour l'historique +#~# # (à savoir créer une branche et la supprimer) +#~# alias shakegit='git checkout -b shakegitbranch && git push origin shakegitbranch && git checkout master && git branch -d shakegitbranch && git push origin :shakegitbranch' # +--------+ # | Divers |