linux

linux

Reverting to a Previous Kernel

Short how-to revert a linux kernel on Ubuntu 18.04

Read
linux

PulseAudio cheatsheet

PulseAudio seems to be the default sound system for many linux distributions, including mine. I often have to look up the commands when I want to e.g. change output ot a different device, such as my big "TV"-screen. Pulse seems to be a very powerful system in terms of configurability, I won't cover much of it. My interactions with Pulse is only as a desktop user.

Read
linux

How to add custom alert sounds to Gnome (Ubuntu 18.04)

I'm currently doing my yearly-ish reinstall of my OS. This time doing a fresh install of just basic Ubuntu with gnome, having previously used Ubuntu Mate for the past 1.5-ish years. I like to customize my OS slightly, to give it more personality. For this reinstall I decided to name my OS `mimikyu` after my favourite pokemon. Anyhow, during the process of tweaking I had the idea of making the alert/notification sound the "cry" of mimikyu. My Google-fu wasn't strong enough to able to find a solution online, but I eventually figured it out. Maybe this is of help to someone else in the future.

Read