Linux Sound Systems and Servers
This post explains what a sound server is, specifically in a Linux context, and provides a list of Sound Server APIs for Linux. What is a Sound Server? A sound server is software that manages the use of and access…
Tag gnulinux
How to install JRE or JDK in Ubuntu
This post explains how to install or update Java components JRE or JDK in operating system Ubuntu. It may be compatible with other Debian-like or Ubuntu-like Linux distros, like Linux Mint, etc. Step-by-step Procedure 1. Install repository Open a…
How to check from command line if your user has admin rights
This post explains how to check if your user has admin rights using your command line. Linux Using sudo command You can run a command like this: timeout 2 sudo id && echo Access granted || echo Access denied Mac…
Disk File Systems
This post lists some popular disk file systems. List of file systems FAT FAT is a very old file system, based on 12 or 16 bits. It was replaced in more modern system by FAT32, and eventually by the current…
How to install OpenFortiGUI on Ubuntu Linux
OpenFortiGUI is an open-source VPN-Client to connect to Fortigate VPN-Hardware. It is based on openfortivpn and adds an easy to use and nice GUI on top of it, written in Qt5. This is a tutorial of how to install OpenFortiGUI in…
How to install Windows 10 in a Virtual Machine on Ubuntu Linux 16.04 LTS
There are different virtual machines available for Linux/Ubuntu, but in this tutorial we are using Oracle VM VirtualBox. VirtualBox is a free and open source virtualization software from Oracle. This post was written on November 2018, so instructions may vary…