Posts Tagged ‘windows’

Removing Git Tags

Posted: 26th March 2015 by Tim in Git
Tags: , , , , , , , , , , , ,

If you’ve accidentally added a git tag, or if you want to remove old tags, these tags can be removed with the following three commands: git tag -d <my_tag> git push origin :<my_tag> git push –tags For example, if you want to remove the tag bad_tag, you would use these commands: git tag -d bad_tag […]

Windows 8 comes with a disk partition utility, but it’s difficult to find. There are a few ways to run the utility, the easiest being: Open the windows run prompt (windows key + r), and run diskmgmt.msc Alternatively, for the graphically inclined, open the control panel and search for partition

In Windows 7, anyone can set their user profile to use high contrast mode, which is great if you need to use this accessibility feature. However, not everyone can turn off high contrast mode; depending on security settings this may need to be done by the system administrator. If you find yourself in this situation, […]

The learning curve for LaTeX documents can be a steep one. This step-by-step guide covers installing and setting up the LaTeX environment, and creating and compiling your first document so that you can read and distribute it. Setting up the LaTeX environment A few things need to be installed before we can start creating documents. […]