|
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 |
|
|
4e353e15b0
|
add discord emoji
|
2022-06-06 02:38:54 +02:00 |
|
|
7d4ec922de
|
Change color define
|
2022-06-05 21:48:49 +02:00 |
|
|
8a67028636
|
rename file
|
2022-06-05 20:29:35 +02:00 |
|
|
2ff0dfc919
|
temporary remove path in bashrc and configfish
|
2022-06-05 20:16:12 +02:00 |
|
|
a11cdcf2e3
|
Add Firefox configuration
|
2022-06-05 19:20:22 +02:00 |
|
|
1763872134
|
change keybind calendar
|
2022-06-05 03:48:12 +02:00 |
|
|
079d979f25
|
from get to set
|
2022-06-05 03:41:36 +02:00 |
|
|
3a1b6ce72e
|
Add Dracula icons
|
2022-06-05 03:38:42 +02:00 |
|
|
2d62632cdb
|
fix dracula
|
2022-06-05 03:34:54 +02:00 |
|
|
611164167b
|
remove comma
|
2022-06-05 03:30:09 +02:00 |
|
|
f63d0d4fa0
|
dark theme
|
2022-06-05 03:28:54 +02:00 |
|
|
073912f741
|
enalble right click
|
2022-06-04 16:10:37 +02:00 |
|
|
780a2eb51c
|
Add Dracula theme
|
2022-06-04 16:03:51 +02:00 |
|
|
1214aad87d
|
fix dark theme
|
2022-06-04 15:52:36 +02:00 |
|
|
b9cfb8e13a
|
add keyboard shortcut for clipboard
|
2022-06-04 15:46:58 +02:00 |
|
|
d3deafbcf2
|
update extension for tray icons
|
2022-06-04 15:28:58 +02:00 |
|
|
b6a8b56055
|
remove some gnome apps and resize terminal
|
2022-06-04 11:21:36 +02:00 |
|
|
997af4e29b
|
re-add icon changes
|
2022-06-04 03:34:01 +02:00 |
|
|
f5acafde5d
|
add ding
|
2022-06-04 03:29:32 +02:00 |
|
|
8cec4e99cf
|
fix typo
|
2022-06-04 03:21:16 +02:00 |
|
|
19db766664
|
remove dups; add traya and touchegg gestures
|
2022-06-04 03:19:47 +02:00 |
|
|
dab387ec31
|
Add some Gnome Settings
|
2022-06-04 02:58:45 +02:00 |
|
|
1f7634da20
|
Add arch install
|
2022-06-04 02:14:25 +02:00 |
|