Parcourir la source

Merge branch 'master' of github.com:10sr/dotfiles

pull/1/head
10sr il y a 12 ans
Parent
révision
5f60987f48
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. +1
    -1
      bashrc

+ 1
- 1
bashrc Voir le fichier

@@ -208,7 +208,7 @@ scr(){
}

netwait(){
while ! ping example.com -c 1
while ! ping -c 1 -t 1 example.com
do
true
done


Chargement…
Annuler
Enregistrer