Tuesday, April 18, 2017

HTTP


  • get the HTTP header
    • wget -S http://www.cnn.com

Saturday, April 8, 2017

github



  • git config --global user.email "whatever@yahoo.com"   (your github email, used to identified the committer)
  • git config --global user.name "blah blah"
  • git add toto.txt
  • git commit -am"my test"
  • git push

  • to see commit graph
    • "insight" / "network"

  • [old way] About keys: generate keys on each machine from which you want to clone, and add them in gitlab
ssh-keygen -t rsa -C "an.lfl@sony.com"
cat ~/.ssh/id_rsa.pub
add the output of the cat as a new machine key in gitlab in: gitlab.leguide.com/profile/keys 
then you will need to do this on the client machine:
l@al:~/l/catalogs$ git config --global user.email "toto@toto.com"
l@al:~/l/catalogs$ git config --global user.name "Bob Doe"
l@al:~/l/catalogs$ git config  -l       (to check what's in)