|
bca05f1bfa
|
use parallel download
|
2022-12-07 13:34:47 +01:00 |
|
|
49372a8a9c
|
fix backslashs
|
2022-12-01 17:17:44 +01:00 |
|
|
b427620b4e
|
make nautilus the default app for opening directories ???
|
2022-12-01 17:16:18 +01:00 |
|
|
801ba95e53
|
add menhir
|
2022-11-29 16:59:35 +01:00 |
|
|
33815c73a9
|
add abbr for spotify
|
2022-11-29 10:49:55 +01:00 |
|
|
bedb070836
|
remove old abbr
|
2022-11-28 21:37:33 +01:00 |
|
|
3299ed3938
|
change spotify patch
|
2022-11-28 16:01:51 +01:00 |
|
|
c6db7d02a7
|
add quick settings tweaks
|
2022-11-22 09:10:06 +01:00 |
|
|
e9c928c758
|
add grep alias + diff on archwsl
|
2022-11-15 20:58:16 +01:00 |
|
|
3f771eb166
|
format
|
2022-11-15 20:05:44 +01:00 |
|
|
7778a89a53
|
* use delta instead of diff
* add .gitconfig instead of modifying it by commands
|
2022-11-15 11:32:23 +01:00 |
|
|
39a8305f21
|
add nautilus pref
|
2022-11-14 09:07:36 +01:00 |
|
|
5e49a4dc9f
|
append an 'm' to gcc, make and g++ abbr
|
2022-11-13 17:40:41 +01:00 |
|
|
a913592b33
|
move the show apps button at left
|
2022-11-12 18:37:37 +01:00 |
|
|
91620240ef
|
add etesync
|
2022-11-12 18:08:10 +01:00 |
|
|
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 |
|