this post was submitted on 13 Jun 2023
20 points (95.5% liked)

Today I Learned (TIL)

6461 readers
2 users here now

You learn something new every day; what did you learn today?

/c/til is a community for any true knowledge that you would like to share, regardless of topic or of source.

Share your knowledge and experience!

Rules

founded 2 years ago
MODERATORS
 
  1. Select the link for the .mp3 that you wish to download so that it opens in a new tab.
    
  2. Long press on the bar in the centre of the screen with the play/pause control, time elapsed and volume control. Select Save Audio...and the file will download. (Tested it myself and it works.)
you are viewing a single comment's thread
view the rest of the comments
[โ€“] XTL@sopuli.xyz 3 points 1 year ago* (last edited 1 year ago) (1 children)

Well, if you actually open a file, any file, you can simply do File/Save as (Ctrl S) etc no matter what the format.

It gets trickier if it's embedded in something or has embedded something instead of a simple file. Or if you open a stream. In many cases you can use the Page info and media tab to find a file for saving.

Edit: now I notice the post says Android. Still, features are probably same, but may be more hidden because of the limited UI.

[โ€“] aMalayali@beehaw.org 2 points 1 year ago* (last edited 1 year ago)

Indeed. I use ublock origin's logger on android to get the links to the media, if possible.

Edit: Android FF doesn't allow access to about:config. I have heard that it's available on beta and/or nightly, but I use the stable/regular one. It also doesn't have developer tools and the extensions are limited.