Skip to content

Instantly share code, notes, and snippets.

@achiang
Last active January 13, 2022 22:12
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save achiang/ff82e08f3f76211c98dbd90916f782b3 to your computer and use it in GitHub Desktop.
Save achiang/ff82e08f3f76211c98dbd90916f782b3 to your computer and use it in GitHub Desktop.
Dell XPS 13 9360 + Ubuntu 16.04: fixing papercuts

Upfront

Differences from vanilla Ubuntu 16.04

External Monitor + HiDPI

Here's a little script I drop into ~/bin to make scaling on an external monitor a bit nicer.

#!/bin/sh

# https://superuser.com/questions/485120/
# https://askubuntu.com/questions/393400/
xrandr --output DP1 --scale 2x2 --auto --pos 0x0
xrandr --output eDP1 --scale 1x1 --auto --pos 960x2880

Hooking this up to udev is an exercise left for the reader.

Personal customizations

vim

execute pathogen#infect()
syntax on
filetype plugin indent on

" allow per-project overrides, safely
set exrc
set secure

set autoindent
set smarttab
set expandtab
set tabstop=8
set shiftwidth=4
set softtabstop=4

if has('gui_running')
    set guifont=Ubuntu\ Mono\ 11
    set guioptions-=T
    set guitablabel=%0.15t\ %M
endif
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment