fix(console): formatting

This commit is contained in:
Pavel Korytov 2023-08-21 11:22:19 +03:00
parent 04a9357ce8
commit 515827b287
2 changed files with 31 additions and 31 deletions

View file

@ -1,4 +1,4 @@
# [[file:../../Console.org::*Alacritty][Alacritty:4]]
# [[file:../../Console.org::*Alacritty][Alacritty:1]]
decorations: none
font:
@ -66,4 +66,4 @@ key_bindings:
- { key: NumpadAdd, mods: Control, action: IncreaseFontSize }
- { key: Minus, mods: Control, action: DecreaseFontSize }
- { key: NumpadSubtract, mods: Control, action: DecreaseFontSize }
# Alacritty:4 ends here
# Alacritty:1 ends here

View file

@ -850,7 +850,7 @@ key_bindings:
#+end_src
* Various console applications
| Guix dependency | Description |
|-----------------+---------------------------------------------|
|-----------------------+---------------------------------------------|
| ncurses | Provides stuff like ~clear~ |
| exa | ~ls~ replacement, written in Rust |
| bat | ~cat~ clone with syntax highlighting |
@ -908,7 +908,7 @@ else
fi
#+end_src
** =autocommit=
A script to autocommit files in a repository. I use it to sync my org directory and password store. I guess it's not how git is intended to be used, but it works for me.
A script to perform automatic commits in a repository. I use it to sync my org directory and password store. I guess it's not how git is intended to be used, but it works for me.
Usage:
#+begin_example
@ -920,11 +920,11 @@ Environment:
|---------------+-----------------+---------------|
| =TIMEOUT_MIN= | Default timeout | 60 |
Here's more or less what the script is doing:
Here's roughly what the script is doing:
- If there is a merge conflict, notify
- If there are changed files in the last =TIMEOUT_MIN= minutes, commit
- If there were changed files in the last =TIMEOUT_MIN= minutes, commit
- Fetch
- If there were changes in the last =TTMEOUT_MIN=, merge (usually the merge has to be fast-forwarded)
- If there were changes in the last =TTMEOUT_MIN=, merge (usually the merge is just fast-forward)
- If the fetch was successful & the merge was either successful or delayed because of changes in the last =TIMEOUT_MIN=, push
- Send a notification about the events above
- Send a separate notification if there is a merge conflict