** Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement! **
Both adduser and useradd can be used to create a new user.
adduser is interactive while useradd is non-interactive.
It is suggested that you use useradd in batch …
Get information of the staff group.
$ getent group staff
staff:x:20:
Get group ID of the staff group.
$ getent group staff | cut -d: -f3
20
Get information of the staff group.
$ dscl . -read /Groups/staff
Get group ID of the staff group.
$ dscl . -read /Groups/staff | awk …You can list running Jupyter Notebook servers using the following command.
jupyter notebook list
It works well most of the time. However, if the servers are launched using the root account (e.g., in a Docker container), you might encounter issues. In this case, a better alternative is to list …
If there is only 1 class with a main method or if there is a Main-Class defined for the JAR, you can use the following command to run the application.
java -jar app.jar
If you there are multiple classes with main methods in the JAR, you can execute any …
You can install open JDK 8 on Ubuntu 14.04 using the following commands.
sudo add-apt-repository ppa:openjdk-r/ppa
wajig update
wajig install openjdk-8-jdk
For more please refer to https://askubuntu.com/questions/464755/how-to-install-openjdk-8-on-14-04-lts.
There are several ways to add users to a group in Linux.
The following uses the sudo group as illustration.
gpasswd, usermod and adduser can all be used to add a user to a given group.
However, it is suggested that you use gpasswd as it is more portable and …