How do you permanently delete files from Github, use ansible to modify a file, and other nits

03 August 2013

Random things I’ve stumbled on in the last week, and that I am sure I will need to know again.

…permanently delete some files from Github? Like when you check in something to the wrong project accidentally.
…temporarily show a localhost web service to someone? Horribly dangerous but sometimes useful.
…peek inside really big files from the command line? Nothing earth shattering here, I just forget to use these tools.
…edit Python code? Pycharm worth a look.
…structure a flask application? One man’s opinion.
…use ansible to modify a file or install a package or whatever? All the modules are listed here.
…use graphviz to make a certain graph or a certain shape node?
…build a python command line? Seems less obtuse than some of the solutions I’ve looked at.
…pick a messageq framework to use? No idea but this post suggests that perf differences are dramatic.
…snapshot vagrant boxes? Very handy if you are trying out a lot of config options.
…install packages from other repositories on CentOS?