for file in *1.jpg; do ffmpeg -i "$file" "${file%1.jpg}".jpg && rm "$file"; done
Sometimes it's not easy to get things from a terminal to your system clipboard. If you're connected locally, it has to be a special tool which handles this (like wl-clipboard
under Wayland) or something other when connected remotely.
This is a Shell executable which ultimately solves the problem by always reaching your local system clipboard:
#!/bin/bash
printf "\e]52;c;$(base64 -w0)\a"
{ "key": "cmd+1","command": "workbench.action.openEditorAtIndex1" },
{ "key": "cmd+2","command": "workbench.action.openEditorAtIndex2" },
{ "key": "cmd+3","command": "workbench.action.openEditorAtIndex3" },
{ "key": "cmd+4","command": "workbench.action.openEditorAtIndex4" },
{ "key": "cmd+5","command": "workbench.action.openEditorAtIndex5" },
NewerOlder