Commit graph

112 commits

Author SHA1 Message Date
fea7eb431c
add ocml abbr 2022-10-18 19:33:02 +02:00
f1c774c0cd
Add Opam path and refactor path organization 2022-10-18 19:28:31 +02:00
e802894bf7
turn some simple quotes to double quotes 2022-10-18 13:57:36 +02:00
97440911f8
add autopair 2022-10-18 13:52:10 +02:00
3b937a7390
add ocamlformat 2022-10-11 17:32:03 +02:00
325e22928d
add ocamlbuild 2022-10-11 15:30:37 +02:00
aa2115e582
add vocaml 2022-10-11 15:28:02 +02:00
62de09d769
alphabetical order in apps menu 2022-10-11 12:50:29 +02:00
4d70f55fc8
add rounded corners 2022-10-11 12:41:46 +02:00
8a59188e88
add tap to click 2022-10-10 10:15:27 +02:00
adb7026869
remove opam from bigupdate 2022-10-09 19:13:53 +02:00
48d6bdd37f
add deps for latexindent 2022-10-06 17:37:50 +02:00
d6f8f3e641
add clang format 2022-10-02 01:17:46 +02:00
b6a19c5912
reduce from 17 to 7 2022-10-01 00:54:28 +02:00
9c8147a93b
add pacman contrib and mirrosupdate abbr 2022-10-01 00:52:18 +02:00
59e89bd89f
add git email/name 2022-09-30 20:31:02 +02:00
699041da96
fix bigupdate 2022-09-30 20:24:18 +02:00
76268f0c4c
run fish commands in fish shell 2022-09-30 13:02:05 +02:00
f6d1022708
add spim 2022-09-27 11:55:26 +02:00
b8593a7fce
add cd.. 2022-09-27 11:50:39 +02:00
22bb4b9913
resize terminal 2022-09-27 11:46:28 +02:00
1bd88aa1ca
add betterdiscord 2022-09-27 09:35:52 +02:00
e7b735546f
add " to tgz 2022-09-23 00:24:49 +02:00
25110de9e6
add tgz 2022-09-23 00:14:48 +02:00
8d99a2d1aa
add fsanitize=undefined 2022-09-22 17:33:24 +02:00
b08c049a4b
add ctrl tab 2022-09-21 13:14:14 +02:00
cdd2feeaee
remove merlin and add opam to bigupdate 2022-09-21 10:49:28 +02:00
9da7dc7054
add merlin 2022-09-20 17:35:15 +02:00
1ea61959e9
install utop 2022-09-20 15:26:03 +02:00
9631fed05d
Add OCaml language 2022-09-20 13:34:28 +02:00
59eeee7961
change webcord for the official discord client 2022-09-18 13:57:57 +02:00
e7706d6bc2
add .local/bin to path 2022-09-15 11:58:12 +02:00
3cc15c27c9
add KDE Connect 2022-09-15 11:47:21 +02:00
b8694c5c01
enable gnome extensions 2022-09-15 11:46:30 +02:00
fc8790b60d
change default new-branch name from master to main 2022-08-21 16:40:20 +02:00
41e50950fd
pull.rebase true 2022-08-18 12:50:20 +02:00
70d5918b89
reduce cl command size 2022-08-16 11:59:44 +02:00
afce96110d
add countlines 2022-08-15 20:21:20 +02:00
99c2fdb64f
disable bluetooh at startup 2022-08-15 11:02:04 +02:00
eb707d8e07
remove -h from exa 2022-08-12 18:26:03 +02:00
a1a16667f1
yes sdkman 2022-08-09 22:07:01 +02:00
8e5e7ff72c
rollback to the default version of java in SDKMAN 2022-08-04 19:29:05 +02:00
efd9cf2d9b
use micro as the default editor 2022-08-04 19:18:43 +02:00
4bbe95f3c7
yay update git packages 2022-08-04 19:12:57 +02:00
ca867258f6
* reorganization
* update java from 17 to 18
* update fish variable
* update curl for rustup
* fix string in arch script
2022-08-04 01:17:56 +02:00
1fecacf2c7
use yes command 2022-08-03 10:31:31 +02:00
ac1949ec85
reduce paquet size for fonts and use the font for the terminal 2022-08-03 10:16:40 +02:00
2311bdea7b
fix #1 2022-07-31 22:08:11 +02:00
3a26777de0
use codium instead of code 2022-07-30 01:24:17 +02:00
fcdb566c52
remove orphans packages 2022-07-28 23:11:44 +02:00