Commit Graph

Select branches

Hide Pull Requests

chadtree-solid

mail-on-linux

main

more-earthworm

update-extensions

waybar

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#126

#13

#14

#15

#16

#17

#18

#19

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

before-gmp-removal

Mono Color

• d2a1824116 Add another -D to cmake before-gmp-removal Smaug123 2021-12-12 19:03:25 +00:00
• 2ee5ecc398 Add another -D to cmake Smaug123 2021-12-12 18:46:40 +00:00
• c9b2492ed1 Fix up Cmake again Smaug123 2021-12-12 18:30:37 +00:00
• a53ea4a87e Fix Lean3 VSCode Smaug123 2021-12-12 18:09:38 +00:00
• db1d15fdf2 Enough to build Lean Smaug123 2021-12-05 15:22:43 +00:00
• 13e0ea2511 Merge pull request #5 from Smaug123/aarch Patrick Stevens 2021-11-28 12:07:11 +00:00
• e62158389b Fix up gmp properly Smaug123 2021-11-28 11:58:39 +00:00
• e2cc0a629a Switch back to VSCode Smaug123 2021-11-21 08:18:17 +00:00
• cab153ca17 Get Rust working Smaug123 2021-11-17 19:36:43 +00:00
• e2fbaed32f Re-add Pijul Smaug123 2021-11-16 21:09:55 +00:00
• 9f6763fea7 Basic aarch setup Smaug123 2021-11-16 19:02:29 +00:00
• 6ce7625c13 Add Pijul and upgrade .NET Smaug123 2021-11-14 09:57:08 +00:00
• 488e07af2e Rider home-manager module (#4) Patrick Stevens 2021-11-10 13:15:33 +00:00
• e971992f28 Enable git rerere Smaug123 2021-11-07 14:59:59 +00:00
• 929a4326ec Hardlink in the store Smaug123 2021-11-07 09:30:43 +00:00
• 1329700cd3 No more need to agda-mode locate Smaug123 2021-11-04 21:42:17 +00:00
• d483b6fa12 Add Lean again Smaug123 2021-11-02 21:02:56 +00:00
• 8619b8fc1b Actually re-add elan Smaug123 2021-11-02 19:02:33 +00:00
• 61be95f944 Re-add elan, remove spacemacs Smaug123 2021-11-02 19:02:18 +00:00
• 7a58808287 Emacs and Agda Smaug123 2021-10-31 18:21:04 +00:00
• f4c453de97 Link to Docker in vscode docker extension Smaug123 2021-10-31 14:37:25 +00:00
• 7cd4c074c5 Fix up after latest nixpkgs update Smaug123 2021-10-30 21:59:03 +01:00
• e25e363c6f Fix up gmp Smaug123 2021-10-30 09:27:29 +01:00
• 4226206375 VSCodium settings Smaug123 2021-10-30 08:54:19 +01:00
• 3b1c3c655d Shellcheck Smaug123 2021-10-27 20:35:57 +01:00
• b381b44220 Install Molokai again Smaug123 2021-10-27 20:34:03 +01:00
• 752789e973 Revert some GMP stuff Smaug123 2021-10-27 20:28:12 +01:00
• bcf7acd881 Remove spare line Smaug123 2021-10-16 09:50:50 +01:00
• 72e4884436 Split out Python Smaug123 2021-10-16 09:40:12 +01:00
• e7f12e33b1 VSCodium Smaug123 2021-10-16 09:36:21 +01:00
• 0ac9ec6e77 Upgrade to Big Sur Smaug123 2021-10-10 12:51:36 +01:00
• f461d28f5c Remove Code Smaug123 2021-09-25 19:28:20 +01:00
• d9a173642f Stop using emacs at all Smaug123 2021-09-12 23:03:54 +01:00
• a46c3ac058 Add ideavimrc Smaug123 2021-09-12 23:00:09 +01:00
• fa15df1d66 Add SSH config Smaug123 2021-09-12 22:55:38 +01:00
• 8fb80c0bc1 Better spacemacs file Smaug123 2021-09-12 18:50:00 +01:00
• f0676f8ac0 Add a commented-out spacemacs Smaug123 2021-09-12 18:28:04 +01:00
• cc653f460d Add ripgrep and emacs Smaug123 2021-08-29 23:52:22 +01:00
• 2a8b33a30b Add youtube-dl config Smaug123 2021-07-09 19:19:16 +01:00
• 5260915e52 Remove unnecessary bits Smaug123 2021-07-09 08:51:10 +01:00
• 057ce85c95 Don't know why I need this Smaug123 2021-07-09 00:21:19 +01:00
• cb6e35b6c4 Update bootstrap Smaug123 2021-07-08 23:46:57 +01:00
• 7e296e817f Get it working Smaug123 2021-07-08 23:43:48 +01:00
• 84f30e5eaa Initial Smaug123 2021-07-08 23:42:43 +01:00
• 9d04229d55 Reproduce the MIT licence for the NeoVim config Smaug123 2021-07-04 22:50:11 +01:00
• 268515fdf9 Attempt to use home-manager module Smaug123 2021-07-04 22:45:24 +01:00
• 17a261fc10 Initial commit Smaug123 2021-07-04 21:51:48 +01:00