Commit graph

105 commits

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