How to Install Java on CentOS 8
In this tutorial, we will explain how to install one or more Java (OpenJDK) versions on CentOS 8 and how to set the default Java via...
Read moreNews
How to Setup a Git Server
Setting up a Git Server allows you to create private repositories without the restrictions of the providers free plans. In this guide, we will explain how...
Read more
The Paths Perspective on Value Learning
A closer look at how Temporal Difference Learning merges paths of experience for greater statistical efficiency
Read moreHow to Mount an exFAT Drive on Debian Linux
exFAT is a proprietary Microsoft file system optimized for flash memory devices such as SD cards and USB flash drives.In this tutorial, we’ll show you how...
Read moreHow to Configure MySQL (MariaDB) Master-Slave Replication on Debian 10
In this guide, we will show you how to set up MariaDB Master/Slave replication with one master and one slave server on Debian 10. MariaDB is...
Read moreRedirect HTTP to HTTPS in Nginx
In this guide, we will explain how to redirect the HTTP traffic to HTTPS in Nginx. The preferred method to redirect HTTP to HTTPS in Nginx...
Read moreHow to Format USB Drives and SD Cards on Linux
This article explains how to format a USB Drive or SD Card on Linux using the parted utility.
Read moreHow to Extract (Unzip) Tar Bz2 File
Bzip2 is one of the most popular algorithm for compressing tar files. In this tutorial, we will explain how to extract or unzip tar.bz2 and tbz2...
Read moreWelcome, Prashanth!
Last March, I shared that we were starting to look for a new CEO for Stack Overflow. We were looking for that rare combination of someone...
Read moreHow to Connect to MySQL through SSH Tunnel
In this guide, we will explain how to create an SSH tunnel and connect to the MySQL server from remote clients.
Read morePaste Command in Linux (Merge Lines)
paste is a command that allows you to merge lines of files horizontally. It outputs lines consisting of the sequentially corresponding lines of each file specified...
Read morePushd and Popd Commands in Linux
pushd and popd are commands that allow you to work with directory stack and change the current working directory in Linux and other Unix-like operating systems.
Read more