Git is what I use for version control for this site. I started using it just because enough people suggested that I learn this tool, but it has become a major part of my workflow. Thanks to how easy it is to set up my server with remote git repositories …
read moreNavigation bar
There's a navigation bar on the blog pages now! It took a few tries to get it to work the way I want. I was working off of a css recipe for a bar that's fixed to the top of the browser window, and while it did show me how …
read moreAnd Now – Colors!
I have been tinkering with changing the color scheme of my site, and I think I have something that I can go live with. Rather than trust myself entirely with choosing colors, I decided to search around the web to find some color schemes I can use. I happened upon …
read moreMinimum Viable Blog
My blog is (barely) ready to go live! I have a blog with the barest of bones working, and it's time to put it into action. This should be built in such a way that I can make changes to the style and layout at my discretion going forward. Rather …
read moreUsing git log for file modification dates
So remember that other post where I complained about Linux not providing file creation dates? Since I have all of my posts checked out in git, it turns out that I can use git to retrieve the creation dates! Here's the command:
git log --follow --format=%ad -- post_filename
This outputs …
read morePlan for the Blog
I'm adding a small blog to the site. The idea is to have a place for posting about my projects and miscellany. Source files are written in plain text, and a script assembles the static HTML files from those. The way I see it, this gives me a simple way …
read moreWhy a personal site?
In the age of Facebook and LinkedIn, a personal website seems almost outmoded. There are many services that can host content better, get projects up and running faster, and make it all look prettier than a guy tinkering with HTML/CSS and Linux in his spare time can manage. In …
read more