diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-29 16:21:15 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-29 16:33:08 +0200 |
| commit | 8c97be233a600f414952e458f59768e9ef265e28 (patch) | |
| tree | d0c94110c545693370d4e3835c03d1273fc7573c /.github | |
| parent | 246486082df5c78ede60e6523f88092eac3bb64f (diff) | |
Reduce floppy disk size after formatting
The useful space to store files inside a floppy is less than the
capacity of the floppy itself:
% mkfs.msdos -C floppy.img 1440
mkfs.fat 4.2 (2021-01-31)
% stat -c %s floppy.img
1474560
% mkdir floppy
% sudo mount -o loop,uid=$USER floppy.img floppy
% dd if=/dev/zero bs=1 count=100M of=floppy/test
dd: error writing 'floppy/test': No space left on device
1457665+0 records in
1457664+0 records out
1457664 bytes (1,5 MB, 1,4 MiB) copied, 0,912079 s, 1,6 MB/s
% echo $((1474560 - 1457664))
16896
It needs a bit more than 16K to store the FAT table, so round it to 32K
to allow some clearance for changes in FAT header size.
% echo $((1474560 - 32*1024))
1441792
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c99b256e..17bbd925 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -36,7 +36,7 @@ jobs: cd build make dist-gzip size=$(stat -c %s dillo-*.tar.gz) - floppy=1474560 + floppy=$((1474560 - 32*1024)) # Leave room for FAT table echo "Floppy occupation: $(($size * 100 / $floppy)) %" if [ $size -lt $floppy ]; then echo 'OK: Fits in floopy disk' |