Theory and Practice
About Archives Categories Tags Authors 中文 ไทย
  1. Tags
  2. Ubuntu Linux

Ubuntu Linux 18.04 Run Out of Disk Space

May 11, 2018

Upgrade from Ubuntu Linux 17.10 to 18.04 and disk space runs out quickly. And how I fix this issue.

 read more »

Merge Instagram Post Live Video and Audio in ffmpeg

March 07, 2018

Use ffmpeg to merge Instagram video and audio of live replay shared to stories.

 read more »

[Makefile] Get Prefix or Suffix from String

December 29, 2016

Get prefix or suffix of a string in Makefile.

 read more »

[Makefile] Check Installed Package Version on Ubuntu Linux

December 23, 2016

Given an installed package name on Ubuntu Linux, find its version in Makefile.

 read more »

Run wkhtmltopdf With Chinese Font Support on Travis CI

May 18, 2016

Run wkhtmltopdf on Travis CI, which convert HTML files with chinese characters to PDF.

 read more »

rsync over SSH with Key

May 03, 2016

Example of copy local files to remote machine which allows only SSH key login via rsync command.

 read more »

[AWS] Upgrade from Ubuntu 12.04 to 14.04

May 01, 2016

Upgrade from AWS EC2 t1.micro running Ubuntu 12.04 LTS with Apache-2.2 to t2.nano running Ubuntu 14.04 LTS with Apache-2.4.

 read more »

[AWS] Create/Migrate Linux Users on Amazon EC2

April 30, 2016

Create or migrate user account with SSH login only (no password login) on AWS EC2 t2.nano with Ubuntu 14.04 LTS.

 read more »

[Bash] Convert wav to mp3 via ffmpeg

February 22, 2016

Write a bash script to convert wav to mp3 via ffmpeg on Ubuntu Linux 15.10.

 read more »

Pāli Input Method on Ubuntu Linux

May 23, 2012

Type romanized Pāli on your Ubuntu Linux.

 read more »
Powered by Github Pages, Pelican, pyScss.