arianvp

# add your package set to your existing environment (together with the things you installed imperatively)
$ nix-env -i -f ./packages.nix
# More declarative: _replace_ your environment with _exactly_ what is in ./packages.nix
$ nix-env --set  -f ./packages.nix
# Show previous versions
$ nix-env --list-generations
# Rollback
$ nix-env --rollback

fardjad

How to Enable Dark Theme on ElementaryOS

Instructions for enabling dark theme (almost) everywhere on ElementaryOS

Pantheon Apps

1. Replace the contents of /usr/share/dbus-1/interfaces/io.elementary.pantheon.AccountsService.xml with this file.
2. Replace the line <annotation name="org.freedesktop.Accounts.DefaultValue" value="0"/> with <annotation name="org.freedesktop.Accounts.DefaultValue" value="1"/> under PreferColorScheme section.

Source

pdarragh

Approachable PL Papers for Undergrads

On September 28, 2021, I asked on Twitter:

PL Twitter:

you get to recommend one published PL paper for an undergrad to read with oversight by someone experienced. the paper should be interesting, approachable, and (mostly) self-contained.

what paper do you recommend?

giuseppe998e

1. Check if you are running X11 or Wayland:
   • echo $XDG_SESSION_TYPE
2. Copy your monitors.xml config file into GDM home directory:
   • sudo cp ~/.config/monitors.xml ~gdm/.config/monitors.xml
   • sudo chown gdm:gdm ~gdm/.config/monitors.xml
3. Access GDM's shell:
   • sudo machinectl shell gdm@ /bin/bash
4. Enable scale-monitor-framebuffer experimental feature:
   • On Wayland: gsettings set org.gnome.mutter experimental-features "['scale-monitor-framebuffer']"

• On X11: gsettings set org.gnome.mutter experimental-features "['x11-randr-fractional-scaling']"