Category Archives: tech
Ada Lovelace Day: The Women Who Share My Journey
While being a woman in tech can be isolating, the women I meet along this journey make the experience what it is. I have fabulous male friends and mentors also, but today I’m focussing on the women around me. They are the modern-day equivalent of the cousins that you grow up with, share stories with, laugh and cry with. They have shared the personal and the professional, the joy and the fear. Today seems like a good time to call out some of the women that I’m so glad to have around me. Continue reading
Install CharlesProxy CA Certificate on Android
Charles handles this by using the server’s SSL certificate for the connection from Charles to the remote server, and then using Charles’ own SSL certificate for the “last mile” back to your browser or device. This means that the connection will be flagged as insecure; Charles’ certificates aren’t trusted by your browser or device – but we can easily change that. Continue reading
Including Code Samples With rst2pdf
Adding Npm to a PHP Travis Project
In need of wisdom and advice, I turned to the best source I know:
How do people use @travisci with multiple languages? Project uses PHP and nodejs tools but I can't seem to configure both. Any links/advice?
— Lorna Mitchell (@lornajane) May 7, 2014
My ffmpeg Cookbook
Edit: I mostly used OBS for video from around 2019.
View Only Headers with Curl
HEAD request changes the output I get, so I really do want to GET and then only see the headers.
Handily, when you use the -v verbose flag with curl, it sends the output to stdout as usual, but the extra information including the headers goes to stderr. This means that I can therefore view the headers only throwing away stdout completely:
curl -v -s http://awesome-site.com 1> /dev/null
(you need the -s to stop curl from “helpfully” printing progress bars as well)
Video: Git Remotes and Tracking Branches
I also blogged about the tracking branches in a bit more detail if you’re interested.
Understanding Tracking Branches in Git
Some branches in git (such as your origin/master branch) will usually track the remote branch that they are related to. But what if you want to create a relationship between local and remote branches? Or stop them from tracking? Here’s some pointers Continue reading
