Master e-services 2016
Un développeur se doit de maitriser quelques outils 'système' de base afin de faciliter son travail.
Avez-vous entendu parler du mouvement "devops" ?
Il me semble essentiel de vous familiariser à l'usage des commandes 'wget' et 'curl' qui sont extrêmement pratiques pour télécharger des archives (ou toutes sortes de choses), et permet d'exécuter différents type de requêtes HTTP (utile en développement web).
Bash peut être configuré pour utiliser le proxy de l'université et permettre à wget / curl de fonctionner correctement.
Vérifiez que les variables 'http_proxy', 'https_proxy' et 'no_proxy' sont déclarées dans votre environnement en tapant `env` dans votre console (linux/mac).
Il faut ajouter quelques variables d'environnement à votre .bashrc ou votre .bash_profile.
export http_proxy=http://cache-etu.univ-lille1.fr:3128
export https_proxy=https://cache-etu.univ-lille1.fr:3128
export no_proxy=localhost,127.0.0.0/8,*.local
curl est une commande permettant d'afficher le corps HTML d'une réponse d'un serveur web à une url. Cette commande permet également d'envoyer des données en POST ou en GET.
wget est une commande permettant de télécharger dans un fichier le "contenu" indiqué par une url. Cela peut être une page web, ou tout autre fichier.
Vous devriez prendre un peu de temps pour lire les pages "man" de ces deux commandes très utiles lorsque l'on fait du développement web.