martes, 23 de julio de 2013

TIL: 2013-07-23

Today I Learnt:

  • Push a local git branch to a remote with different name:
  • git push origin local_branch:remote_branch 
  • Nginx lua path refering to the nginx -p flag
  •   lua_package_path ";;$prefix/?.lua;";