How do you permanently delete files from Github, use ansible to modify a file, and other nits
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?