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.
Git ignore file mode chmod changes
How to make Git to ignore file modified by chmod changes. Using core.fileMode git config.
