@wyssdaniel you can record a portion of the screen with Shift-Cmd-5, "Record selected portion".
Not sure about best conversion to gif, but there's a number of online sites that do it.
Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
マリオ (Mario Menti) (mario@neko.cat)'s status on Wednesday, 11-Jan-2023 21:48:39 JSTマリオ (Mario Menti)