Tag: quick tips
Changing Filename Case in Git
Posted on August 31, 2011 in Tutorials
I thought I'd share a quick little trick I've learned for changing the case of a filename in Git. Git is (unfortunately) case-insensitive with filenames. Therefore, if you make a change to a filename's case without using git mv, it won't be picked up. If you do try to use git mv (for example, git mv file File), Git won't accept it, as it doesn't detect any change. Say we have a file named readme.txt,...
Making a Dynamic Copyright With PHP
Posted on February 23, 2011 in Tutorials
I though I'd just write a quick tutorial on how I make a dynamic copyright for my websites. If you don't know what a function does in the code, look it up on the PHP manual. <?php echo strftime('%Y', time()); ?> That's the year generating code. It's just grabbing the year from the current timestamp. So we could do something like this in the copyright: © <?php echo strftime('%Y', time()); ?> Legion of Weirdos. You...
