notes:misc
Differences
This shows you the differences between two versions of the page.
| notes:misc [2022/03/14 22:24] – created david | notes:misc [2025/05/23 22:44] (current) – david | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| update-alternatives --set editor / | update-alternatives --set editor / | ||
| update-alternatives --config editor | update-alternatives --config editor | ||
| + | |||
| + | export EDITOR=/ | ||
| + | echo ' | ||
| </ | </ | ||
| + | |||
| + | |||
| + | https:// | ||
notes/misc.txt · Last modified: by david
