Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

For 5.0 submission #951

Open
3 tasks done
freedomtan opened this issue Jan 21, 2025 · 2 comments
Open
3 tasks done

For 5.0 submission #951

freedomtan opened this issue Jan 21, 2025 · 2 comments

Comments

@freedomtan
Copy link
Contributor

freedomtan commented Jan 21, 2025

  • create submission-v5.0 branch
  • sync v5.0 branch to the mobile_app_closed repo
  • update the timestep embedding pickle file to mobile_open
@freedomtan
Copy link
Contributor Author

freedomtan commented Jan 22, 2025

To split a file large then a certain threshold, a simple shell script serve well. It event works on Android. Assume that we want to split all the files larger than 20 M in current directory.

find . -type f  -size +20M -exec sh -c 'split -b 20M "$0" "${0%.*}_"; rm "$0"' {} \;
  • find . : find files in current directory
  • -type f: only show the file type == file (there could be directories, socket, etc)
  • size +20M: larger than 20 M
  • -exec sh -c .... {} \;: once matched file > 20M, the file name is passed as {} to -exec
  • 'split -b 20M "$0" "${0%.*}_"; rm "$0"': split file size > 20M bytes, output filename foo to foo_a[a-z], and after splitting, remove the original file.

@Mostelk and @mohitmundhragithub

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants