I've owned Diva MP3 player and wrote some shell scripts to ease uploading files to it and managing playlists. These are quite old and not maintained, but you can still find them useful.
Support this project
Do you like this project? You can contribute to it either using your work (patches are welcome) or you can donate to the author.