Updated Lab notes (markdown)

Marius Ciepluch 2024-05-12 10:44:57 +02:00
parent edff9713c0
commit e72a0f28d0

@ -44,9 +44,13 @@ route 192.168.20.106 255.255.255.255
## GitHub file site limit ## GitHub file site limit
* 100 MB for repository files
* 2000 MB for release files
Data cannot get pushed directly into the repo. Files can be compressed and split, with the command line utilities.
The release function is used instead.
Due to these limitations, the data cannot get pushed directly into the repo.
The release function is used instead. When necessary, files gets split.
``` ```
remote: error: File data/lab_logs_normal_activity_may_6_2024.json is 1811.83 MB; this exceeds GitHub's file size limit of 100.00 MB remote: error: File data/lab_logs_normal_activity_may_6_2024.json is 1811.83 MB; this exceeds GitHub's file size limit of 100.00 MB
@ -54,4 +58,10 @@ remote: error: GH001: Large files detected. You may want to try Git Large File S
To https://github.com/norandom/log2ml.git To https://github.com/norandom/log2ml.git
! [remote rejected] main -> main (pre-receive hook declined) ! [remote rejected] main -> main (pre-receive hook declined)
error: failed to push some refs to 'https://github.com/norandom/log2ml.git error: failed to push some refs to 'https://github.com/norandom/log2ml.git
``` ```
### Download of release data with Python
Downloads of release assets are difficult because GitHub requires authenticated links (API), and has multiple redirects.
The download functions for released data have been implemented in a separate library, which handles such tasks.