How to make tilde in linux