Onur Şahin onsah

## papers.md

      
              2 files
            
          
              5 forks
            
          
              0 comments
            
          
              83 stars
            
          
                pdarragh
                / papers.md
            
            
              Last active
              April 17, 2024 19:29
            
              
                Approachable PL Papers for Undergrads
              
          
    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?


## how-to-enable-dark-theme-on-elementaryos.md

      
              1 file
            
          
              0 forks
            
          
              1 comment
            
          
              7 stars
            
          
                fardjad
                / how-to-enable-dark-theme-on-elementaryos.md
            
            
              Last active
              December 18, 2023 05:23
            
              
                [How to Enable Dark Theme on ElementaryOS] Instructions for enabling dark theme (almost) everywhere on ElementaryOS #elementary #linux #dark
              
          
    How to Enable Dark Theme on ElementaryOS


Instructions for enabling dark theme (almost) everywhere on ElementaryOS

Pantheon Apps


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

Source

  
## example.sh
# 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
	# 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