Proxy setting for UEC
Shell script for LaTeX