Skip to content

Instantly share code, notes, and snippets.

View chrislea's full-sized avatar

Chris Lea chrislea

View GitHub Profile
@chrislea
chrislea / keybase.md
Created March 26, 2014 17:55
keybase.md

Keybase proof

I hereby claim:

  • I am chrislea on github.
  • I am chrislea (https://keybase.io/chrislea) on keybase.
  • I have a public key whose fingerprint is FBD1 7382 703F 2552 4278 38B4 58B7 7447 44A3 34DA

To claim this, I am signing this object:

@chrislea
chrislea / gist:1119093
Created August 1, 2011 21:54
Not sure what ExcludeEncoder's deal is
sprintly.cache.getProxy('product')
Object
account: Object
active: true
customer_payment_profile_id: "67890"
customer_profile_id: "12345"
exp_month: 1
exp_year: 14
failures: 0
Verifying that +chrislea is my blockchain ID. https://onename.com/chrislea
### Keybase proof
I hereby claim:
* I am chrislea on github.
* I am chrislea (https://keybase.io/chrislea) on keybase.
* I have a public key whose fingerprint is 7C40 370C F50F 2E05 F8E1 912B B3C9 B32D E3D5 F8D4
To claim this, I am signing this object:
@chrislea
chrislea / eclipse.desktop
Created August 28, 2018 22:47
Gnome desktop entry for Eclipse
# This file is ~/.local/share/applications/eclipse.desktop
[Desktop Entry]
Encoding=UTF-8
Name=Eclipse IDE
Exec=/usr/local/bin/eclipse
Icon=/opt/eclipse/icon.xpm
Type=Application
Categories=Development;

Install Arch Linux on a Dell XPS 13 9310 with Disk Encryption

I am mostly just writing this down as a reference for my future self. I recently got a Dell XPS 13 9310 "developer edition" laptop, which came preinstalled with Ubuntu Focal. Since I know all the hardware is Linux compatible I installed Arch. The laptop ships with a NVME HDD and is configured for UEFI booting, so that's what is represented here.

This is largely copied from this existing gist and most of the credit for figuring all of this out is due to Mohammad Javad Naderi.

Disable Secure Boot

My laptop came with secure boot turned on, but this won’t work with Arch. Boot the laptop while hitting the F2 key until it shows that you’re going into the BIOS setup. Once you’re in there, find the area for secure boot, turn it off, hit the button to apply changes, and finally hit OK to exit.

@chrislea
chrislea / grub
Created May 12, 2022 16:42
/etc/default/grub user config that works with my Nvidia GTX 960 on 2022-05-12
# GRUB boot loader configuration
GRUB_DEFAULT=saved
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR="Arch"
GRUB_CMDLINE_LINUX_DEFAULT="loglevel=3 quiet nvidia-drm.modeset=1 rcutree.rcu_idle_gp_delay=1"
GRUB_CMDLINE_LINUX=""
GRUB_DISABLE_OS_PROBER=false

Keybase proof

I hereby claim:

  • I am chrislea on github.
  • I am chrislea (https://keybase.io/chrislea) on keybase.
  • I have a public key ASAIlcNcUQ9D6ne08qcRR8iJxlan_zyYv22fIx0vMASzAAo

To claim this, I am signing this object: