appfs: requirements for filenames of *.bin ...

[a2800276]

Find out whether appnames in appfs are required to bemain.bin.

Current assumption:

• if pushing an update the filename needs to be identical to the original filename. This is, of course, ridiculous, because appfs is only for "native" apps and in this case the filename is entirely irrelevant.

In case this turns out to be true, it would probably be best to patch firmware hatchery and python-webusb-push to always provide the same filename for *bin files, regardless of how they are named on the development computer.

## Raw notes



### main.bin



Snippet from `IRC`:

```text

13:32 < p2mate> <p2mate> "i formatted both internal..." <- renamed the image to main.bin and now it works.. maybe something to highlight in the documentation?

13:37 < stappers> p2mate: What is your tool chain?

13:38 < stappers> (What is the reason that you need an additional rename?)

13:39 < p2mate> @stappers: https://badge.team/docs/badges/mch2022/software-development/rust/

13:39 < stappers> :-)

13:39 < p2mate> I have no idea why the binary needs to be called main.bin

[stappersg]

Additional IRC log (with 13:39 as refererence )

13:39 < p2mate> I have no idea why the binary needs to be called main.bin
13:48  * stappers created https://github.com/badgeteam/website/pull/94 and leaves keyboard  ( sets "away" )
13:50 < JelleHaandrikman> Also note this issue when trying out the Rust toolchain.
13:50 < JelleHaandrikman> https://github.com/badgeteam/website/issues/90
13:50 < JelleHaandrikman> Work around is in issue.
   ...
14:40 < Renze> <p2mate> "I have no idea why the binary..." <- because hatchery is still very much a work in progress