Installing Pulse Secure client in Ubuntu 16.04+

Update 2021-01-03: I haven’t used Pulse VPN on Linux since August 2018, so I don’t know if these instructions still work or are needed. First off, you need to obtain the Pulse Secure client as a deb file from your network administrator. I have version 8.2R5. For some reason the client does not list any dependencies when installing so you must install the needed (32 bit) libraries by hand (PulseClient.sh does not work without changes):...

October 31, 2017 · 1 min · alj

Change the default terminal emulator in GNOME 3

After using Linux Mint with Cinnamon for a long time I am now back with Ubuntu with GNOME (reluctantly, I may add). One thing I have noticed is there does not seem to be an option in the settings to change your preferred terminal emulator. Luckily it can be changed in several other ways, The generic fix in a terminal, write $ gsettings set org.gnome.desktop.default-applications.terminal exec tilix In this case I have changed to the Tilixterminal emulator....

October 29, 2017 · 1 min · alj