Tag: Linux Mint

How to monitor temperatures of laptop on Linux

Posted on by Eric Ma

How to monitor temperatures of laptop on Linux? This works on Linux Mint: sudo aptitude install lm-sensors hddtemp For lm-sensors, first detect the sensors by: sudo sensors-detect To detect the temperature in the system: sudo sensors To detect the HDD (e.g. sda) temperature: sudo hddtemp /dev/sda An example of the output: [zma@mini:~]$ sudo sensors acpitz-virtual-0
Read more

How to boot Linux Mint to the console by default?

Posted on by Eric Ma

How to boot Linux Mint to the console by default? (that is, the run level 3). 2 methods introduced here to boot Linux Mint to console/command line. Method 1 (may only work for earlier releases; check method 2 below): set kernel option. Edit /etc/default/grub and add text to GRUB_CMDLINE_LINUX_DEFAULT: GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash text” Then, re-generate grub
Read more

How to install Adobe Reader on Linux Mint 17?

Posted on by Eric Ma

How to install Adobe Reader on Linux Mint 17? First, add Canonical PPA repository sudo add-apt-repository “deb http://archive.canonical.com/ precise partner” Then, update apt cache and install Adobe Reader sudo aptitude update sudo aptitude install acroread You can select “Yes” to set Adobe Reader as the default PDF viewer or “No” to not set it. E.Z.M.,
Read more

How to turn a BIOS-based Linux Mint 17 installation to UEFI booting?

Posted on by Eric Ma

I installed Linux Mint 17 in the traditional BIOS mode. However, Windows 8.1 on my computer can only boot in the UEFI mode. I do not want to reinstall the Windows or erase it. How to turn a BIOS-based Linux Mint 17 installation to UEFI booting? You may refer https://help.ubuntu.com/community/UEFIBooting for some information.

Finding Which Package Provides a File in Ubuntu Linux and Linux Mint

Posted on by Eric Ma

How to find which package provides a file in Debian based releases, such as Linux Mint, Ubuntu? You can use `dpkg`: $ dpkg -S /path/to/the/file -S or –search is the option to make dpkg do a “search”: -S, –search filename-search-pattern… Search for a filename from installed packages. To search which package provides a command file
Read more

How to install ffmpeg on Linux Mint 17 Qiana?

Posted on by Eric Ma

How to install ffmpeg on Linux Mint 17 Qiana? To install FFmpeg on Ubuntu 14.04 Trusty Tahr, Linux Mint 17 Qiana and etc: $ sudo add-apt-repository ppa:jon-severinsson/ffmpeg $ sudo apt-get update $ sudo apt-get install ffmpeg Does anyone know why this was taken out of the main repositories? Linux Mint 17 is based on Ubuntu
Read more

How to install no-ip update client on Linux Mint?

Posted on by Eric Ma

How to install no-ip.com update client noip2 on Linux Mint 17? First, install the noip2 client: sudo su – cd /usr/local/src wget http://www.no-ip.com/client/linux/noip-duc-linux.tar.gz tar xzf noip-duc-linux.tar.gz cd no-ip-2.1.9-1 make make install Then, generate the configuration file noip2 -C Last, make noip2 daemon run at reboot crontab -e Add this line to crontab: @reboot /usr/local/bin/noip2 I’ve
Read more

Good tools to manage OCaml packages

Posted on by Q A

Which tools to mange OCaml packages in my system (Linux)? I use OPAM to manage OCaml packages: http://opam.ocamlpro.com/index.html To install it: $ wget https://raw.githubusercontent.com/ocaml/opam/master/shell/opam_installer.sh $ sh ./opam_installer.sh /usr/local/bin More options are available here. To make opam settings take effect, append this to ~/.bashrc: eval `opam config env` Some frequent usages: opam list # List all
Read more

How to Add Google to Firefox in Linux Mint as Default Search Engine

Posted on by Eric Ma

In Firefox on Linux Mint, Google is not in the default list of search engines. Linux Mint has its criteria for adding search engines while Google seems not in those suggested by Linux Mint because “Amongst commercial search engines, only the ones which share with Linux Mint the revenue Linux Mint users generate for them
Read more

Notes for Beginners of Software Development on Linux

Posted on by Eric Ma

Linux is a great platform for software development targeting servers or backends. In general, working on Linux is very productive. The problem that beginners on Linux face is the the learning curve is steep at the beginning. But believe me, after you get through the initial green steep learning step as in the figure below
Read more

How to Run a Command Upon Files or Directories Changes on Linux

Posted on by Eric Ma

Doing actions upon changes of files and directories is very useful. Examples like compiling a project after the source code files are changed, sending emails after important configuration files are modified, building the PDF after a TeX file is modified. On Linux, the inotify-tools provide good support for trigger actions after changes. In this post,
Read more

What Is the Name of the Linux-based OS: A Survey

Posted on by Eric Ma

You may already well know “Linux” and may also use the “operating system based on the Linux kernel” directly or indirectly (you are indirectly using it now as this site is hosted on Linux). But how should we name the OS based on Linux? You may know there is GNU/Linux naming controversy. Different people have
Read more

How to Make Chrome Accept Self-Signed Certificates on Linux

Posted on by Eric Ma

If your website uses a self-signed certificates, Chrome will show a warning every time and you need clicks to continue. In this post, I will introduce how to make Chrome accept self-signed certificates for sites on Linux. This post is made short on purpose and you need to search the Web and learn if you
Read more

How to Set Up Git Commit Email Notifications

Posted on by Eric Ma

A method to send email notification to a list of email addresses by the remote git server after every push from the client will be introduced in this post. An example notification email after a commit is shown in the figure below. The subject contains a prefix, the repository name, the branch name and the
Read more