How to delete the Windows.old folder from Windows 10
If you recently update your OS to Windows 10, you might notice that you are running out of space. If this is happening it might be because the old version of the Windows is not yet deleted from the disk, it is stored into "Windows.old" folder. And depending on the size of that version, it could be taking a lot of precious space.
How to change DNS settings from command line
The command line tool used to change the DNS settings is netsh which allows you to configure just about any aspect of your network connections in Windows. In order to use the tool the command line needs to be started as Administrator.
How to change computer's IP address from command line
The command line tool used to change the IP address is netsh which allows you to configure just about any aspect of your network connections in Windows. In order to use the tool the command line needs to be started as Administrator
How to change the hostname in Ubuntu
How to change hostname in Ubuntu. There are three options: temporary until the first restart and permanent by changing the hostname file or using command hostnamectl
How to change Tomcat default port
How to change Tomcat default port 8080 to any other port. Three steps: locate server.xml file, edit and restart the Tomcat service.
Maven local repository location
Maven local repository default location for Linux and Windows and how to change the location.
