Tag: terminal

  • Mask private SSH key in GitLab CI/CD

    by

    in

    When using Ansible for automating deployment from a GitLab CI/CD pipeline, you must provide a private SSH key via a GitLab CI/CD variable. GitLab CI/CD variables can be setup to be masked which prevents them from appearing in log files. Furthermore, they can be configured to be hidden so you have no way of accessing…

  • Install Java using Homebrew and jEnv on MacOS

    by

    in

    Sometimes it’s desirable to use different Java versions. Here’s one way how to do it on a Mac. Prerequisites If you haven’t already, install Homebrew as a first step. Now, that Homebrew is installed, install jEnv, next. It’ll enable you to manage multiple Java installations and to switch easily amongst them. Follow the steps listed…

  • Upgrading from RSA to ED25519

    by

    in

    Add a new pair of Ed25519 keys and use them to conveniently ssh into remote servers.

  • How to set the timezone in Ubuntu

    by

    in

    You may list all available timezones via the following command: To update the timezone of your machine use After this the current settings can be inspected like so: Have a look at https://www.digitalocean.com/community/tutorials/how-to-set-up-time-synchronization-on-ubuntu-20-04 for a more detailled explanation.

  • Adding an administrative account in Ubuntu

    by

    in

    If, for some reason, no default administrative user was created during the server installation process, the first thing I do is to create a personal user and deactivate the root user, if necessary. Usually, a pristine Ubuntu installation comes with a default user that was added to the group of sudoers. However, when acquring a…

  • Warp: The terminal I didn’t know I needed

    Warp: The terminal I didn’t know I needed

    by

    in

    Quick reminder to myself to never use another terminal other than Warp again. Check it out here.