This article we will learn about the tilde expansion in Linux. There will be many times, you will encounter many examples using tilde in Linux commands. So what is tilde…
Tag:
linux
This article will guide you how to install Mozjpeg in Linux Mint 19. If you do not know what Mozjpeg is, you will know one more useful software through this…
This post will guild you how to install Pycharm community in Linux Mint 18.3. Pycharm is the best software for writing python programs, and Pycharm also supports other languages like…
This article will show you how to install MariaDB 10.3 in CentOS 6. Version 10.3 is the latest MariaDB version at this time. Configure server requirements The following is the…
How to calculate percent of memory used in Linux? This article will guide you to do that. For Linux desktops, you can easily see the percentage of RAM used on…
- This entry is part 2 of 4 in the series Instructions for installing and using the Docker
This article will guide you to install Docker on Linux Mint. Docker is mainly used on Linux computers, including servers and personal computers. Developers can install Docker on their computers…
- This entry is part 2 of 3 in the series Linux commands: Part 7 - Seeing the world as the Shell sees it
Working mechanism of wildcard characters, we call it pathname expansion. So how does the this expansion in Linux work? Example of pathname expansion Let’s try a simple example with the…
- This entry is part 1 of 3 in the series Linux commands: Part 7 - Seeing the world as the Shell sees it
In this article, what will we learn about expansion in Linux? What does it do when we type the command on the terminal? Throughout this series, we only use a…
- Linux Commands
Use tee to read from stdin and output to stdout and files
by Daniel Phamby Daniel PhamThis entry is part 10 of 10 in the series Linux commands: Part 6 - RedirectionHow to use tee to read from stdin and output to stdout and files? This article, I will introduce you to the tee command. If you forget what stdin and…
In this article, I will show you how to use wget download a file and save as a filename different? Wget is a tool that supports downloading files in Linux,…
