Finetune the linux terminal selection

Signed-off-by: Zhiguang Li <muzili@gmail.com>