a terminator in linux