Commit graph

173 commits

Author SHA1 Message Date
1819e253fe
remove ocaml related abbrs 2022-11-08 20:24:22 +01:00
8341f5a86e
add tiling-assistant 2022-11-08 11:06:14 +01:00
53bfb59c3b
follow shell script best practices: https://sharats.me/posts/shell-script-best-practices/ 2022-11-06 15:57:25 +01:00
04c6fda779
add noconfirm flag 2022-11-06 15:20:42 +01:00
3827ee2840
add pacman-clean abbr 2022-11-06 15:15:48 +01:00
8e2c779d6d
fix awk 2022-11-06 15:12:38 +01:00
004ddaae9c
add rebuild detector 2022-11-06 15:10:25 +01:00
e9ca1cb96d
add opamupdate abbr 2022-11-04 20:21:52 +01:00
55fe3a4ae3
use new text editor of gnome 2022-11-02 03:26:52 +01:00
dc93c1d8f0
add legacy extension support 2022-11-02 03:09:36 +01:00
130f806eb1
add 2 finger control on firefox 2022-10-28 13:02:27 +02:00
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
4ab5a5ad2e
from discord to webcord 2022-07-27 12:53:34 +02:00
a91598ce61
add micro plugin 2022-07-24 22:37:38 +02:00
3d6a276162
overwrite file 2022-07-24 22:31:46 +02:00
eaa4810096
add micro configuration 2022-07-24 22:28:44 +02:00
27c35d07f2
remove newlines 2022-07-24 12:20:53 +02:00
072ed0fdd4
use gnome app for paint instead of kde app 2022-07-24 12:20:36 +02:00
956e90d50c
add gedit theme 2022-07-24 12:14:13 +02:00
a5a66b4faf
copyq: all UI in dark theme 2022-07-24 10:59:25 +02:00
daf100d3f3
copyq dark theme 2022-07-24 10:37:59 +02:00
10292d3b41
add gc alias 2022-07-24 10:26:29 +02:00
f99a64f89b
add more default option to exa 2022-07-21 13:08:20 +02:00
0d28825ec0
better exa colors + icons support 2022-07-21 12:52:30 +02:00
0842f5a03c
Update source of Fish's theme, update fish's theme, change comment color in fish 2022-07-19 01:00:02 +02:00
b19747d61a
fix wget 2022-07-14 01:46:58 +02:00
21f34813d2
* Remove upgrade button for spotify
* Change shortcut for spotify
2022-07-14 01:45:36 +02:00
38b933b08b
use VLC instead of totem 2022-07-10 15:20:49 +02:00
e6bfaf5300
Add bluetooth 2022-07-10 11:47:38 +02:00
9b27183b58
add gsettings rule 2022-07-08 23:30:39 +02:00
833ad6f5e1
disable top-right corner "activities" 2022-06-18 18:55:00 +02:00
81e47c2f50
add some keybinds in the terminal 2022-06-18 17:51:33 +02:00
aa41092d49
change mouse speed 2022-06-18 17:16:57 +02:00
b05d19d381
add no overview and group gnome extensions 2022-06-08 22:06:48 +02:00
12a8d0cfe7
remove useless variable 2022-06-07 18:17:53 +02:00
a7794f5552
add contact 2022-06-06 22:02:48 +02:00
4ac862c583
hide Help icon 2022-06-06 21:58:22 +02:00
604243d00f
Add docker 2022-06-06 21:47:39 +02:00
d7faa819db
fix user.js placement 2022-06-06 18:48:38 +02:00
69dcf4a662
fix paint name 2022-06-06 18:31:51 +02:00
ffd968965e
remove old code 2022-06-06 18:28:42 +02:00
ef4d9ceb4d
fix second 2022-06-06 18:24:05 +02:00
cb0f55da3e
complete script as sudo 2022-06-06 18:06:40 +02:00
728dc58b9a
more locales update and add a lot of icons to remove 2022-06-06 17:36:19 +02:00
63d4549a9e
fix locales 2022-06-06 16:44:10 +02:00
d0ed448c88
fix typo + disclaimer extension 2022-06-06 16:16:11 +02:00
3c19c21fa6
group all aur packages, remove useless package at the begenning and remove emoji config 2022-06-06 15:37:15 +02:00
9aa9d1847a
universal variable gl4d 2022-06-06 11:09:21 +02:00
67c3091a54
correct parsec pacakge name 2022-06-06 03:15:04 +02:00
1745c838e4
update java version 2022-06-06 02:57:06 +02:00
03babf0f08
fix try icons 2022-06-06 02:41:29 +02:00