Why? Because while it's fairly simple, it is not discoverable. I had to ask for help (thanks @michaeltaylor3d).
This means you have a chia wallet and have farmed or bought some XCH.
| Message pattern: ^time="(.*)" level=([^\s]+) .*$ | |
| Message start pattern: ^time= | |
| Time format: yyyy-MM-dd'T'HH:mm:ssXXX | |
| Time capture group: 1 | |
| Serverity capture group: 2 | |
| Reference: https://github.com/JetBrains/ideolog/wiki/Custom-Log-Formats |
| #!/bin/bash -x | |
| # make_arm64_rpi_kernel_debs.sh | |
| # Builds arm64 debian packages from the CURRENT rpi firmware repository kernel which is installed by: | |
| # sudo rpi-update | |
| # This runs on an arm64 host with arm64 compilation tools... | |
| # or with some sort of cross-compilation setup. | |
| # Debs are put in $workdir/build | |
| # | |
| # This will NOT work in Raspbian unless you have an arm64 compilation | |
| # environment setup. Appears to work on |
| # To extract the sound from a video and save it as MP3: | |
| ffmpeg -i <video.mp4> -vn <sound>.mp3 | |
| # To convert frames from a video or GIF into individual numbered images: | |
| ffmpeg -i <video.mpg|video.gif> <frame_%d.png> | |
| # To combine numbered images (frame_1.jpg, frame_2.jpg, etc) into a video or GIF: | |
| ffmpeg -i <frame_%d.jpg> -f image2 <video.mpg|video.gif> | |
| # To quickly extract a single frame from a video at time mm:ss and save it as a 128x128 resolution image: |
Why? Because while it's fairly simple, it is not discoverable. I had to ask for help (thanks @michaeltaylor3d).
This means you have a chia wallet and have farmed or bought some XCH.