diff options
author | William Carroll <wpcarro@gmail.com> | 2019-03-04T17·58+0000 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2019-03-04T17·58+0000 |
commit | f68cd7113f3373b3fe80b7614f2afc05bedb98ab (patch) | |
tree | 39a515c3d4a0a7f1628af3cc9f85d1ab0f83baed /configs | |
parent | e807778921dbb4609377ee9031144c56ef09ab00 (diff) |
Temporarily drop support for Rofi
This depended on a hardlink to the /nix/store, which was a Nix workaround that I no longer need. Expect the rofi/config to return.
Diffstat (limited to 'configs')
-rw-r--r-- | configs/linux/misc/.config/rofi/config | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/linux/misc/.config/rofi/config b/configs/linux/misc/.config/rofi/config deleted file mode 100644 index e2359c84c6b4..000000000000 --- a/configs/linux/misc/.config/rofi/config +++ /dev/null @@ -1 +0,0 @@ -rofi.theme: /nix/store/7mkpd855nvfbpvh8jh5j54hzaqcbf70n-rofi-1.5.0/share/rofi/themes/purple.rasi |