Julia Evans on Nostr: also does anyone have any tips / gotchas to share about using the `Alt` key in the ...
also does anyone have any tips / gotchas to share about using the `Alt` key in the terminal? I've really avoided using Alt completely because I don't get it but I know people do use it. My impression is that Alt can either be mapped to `ESC` or do `0b1000000 | $CHAR` and there being 2 different options seems very confusing
is the safest thing to do to set Alt to ESC? what's the deal?
Published at
2024-11-18 21:58:33Event JSON
{
"id": "e23eb9a781f8f3a288c8753c60c29c88c37dcb25415930c6fcc1a354c9a2543c",
"pubkey": "26cad6f140bf86de9c26b7c15419cab1aebdd7086358d26aa2d750e21cf3bf2e",
"created_at": 1731967113,
"kind": 1,
"tags": [
[
"proxy",
"https://social.jvns.ca/users/b0rk/statuses/113506196740736727",
"activitypub"
]
],
"content": "also does anyone have any tips / gotchas to share about using the `Alt` key in the terminal? I've really avoided using Alt completely because I don't get it but I know people do use it. My impression is that Alt can either be mapped to `ESC` or do `0b1000000 | $CHAR` and there being 2 different options seems very confusing\n\nis the safest thing to do to set Alt to ESC? what's the deal?",
"sig": "e683259296df5c770c1027373cf115837b468ec17ef261fcc713e63ddb8f474e5d6a2da5918055ef35c94335f951f1eeb7ec1b024d9a49afa7a8aad632cb578c"
}
