1
0
Fork 0
Commit Graph

22 Commits

Author SHA1 Message Date
Vivianne 4f62a6e53f some tweaks--overriding gitignore, not my favorite solution but it gets me what I need rn. 2022-07-18 13:54:10 -07:00
Vivianne 886ae5363d there we go, coq much more functional now 2022-07-03 15:35:02 -07:00
Vivianne 662cf5b04b further tweaks, completion seems broken 2022-07-03 15:01:05 -07:00
Vivianne ecac56d052 a bunch more goodies 2022-06-24 05:06:02 -07:00
Vivianne 7aead9ddc0 updates 2022-04-22 13:54:00 -07:00
Vivianne 9d61ede217 Add treesitter config 2022-03-09 03:24:41 -08:00
Vivianne 023a2ff575 Fix sqlite and make dir. fix suda. add ron and fterm (to be configured) 2022-03-09 02:46:32 -08:00
Vivianne 04d97575a7 Suda support for CDC 2022-03-09 00:02:50 -08:00
Vivianne c5f70a427a Some tweaks to get things working better. 2022-03-08 01:50:04 -08:00
Vivianne e4db099eaa Add bbye and update config for neovide. 2022-03-08 01:33:07 -08:00
Vivianne 16b01836a7 Fix suda cond case 2022-03-06 11:44:56 -08:00
Vivianne 409729056b Adding working gentoo! 2022-03-06 11:37:35 -08:00
Vivianne ae6e309ec9 Add suda and gentoo syntax! 2022-03-06 10:50:53 -08:00
Vivianne c85c7122eb Tweaks 2022-03-05 05:46:11 -08:00
Vivianne 426ae45c32 Move some settings over to lua
so they aren't loaded at a bad time
2022-03-05 04:00:43 -08:00
Vivianne 5e1d627e2e Dos2unix 2022-03-05 03:35:05 -08:00
Vivianne 9859bdc9ce Added bootstrap 2022-03-05 03:30:37 -08:00
Vivianne 3ce6e836cf Nothing on linux 2022-03-05 02:55:45 -08:00
Vivianne 59de57ca73 Working on getting linux version working
- and getting this ready to push.
2022-03-04 01:15:30 -08:00
Vivianne 441a0547ca Tweaks to plugin config to hopefully smooth out first run 2021-10-12 23:28:53 -07:00
Vivianne 29a1471c0a Add template and cross-platify more stuff 2021-10-12 22:58:11 -07:00
Vivianne 723793945b Initial neovim config. 2021-10-12 22:54:51 -07:00