Commit graph

89 commits

Author SHA1 Message Date
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