Paquet : webext-bulk-media-downloader (0.2.1-3.1)
Liens pour webext-bulk-media-downloader
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source bulk-media-downloader :
- [bulk-media-downloader_0.2.1-3.1.dsc]
- [bulk-media-downloader_0.2.1.orig.tar.xz]
- [bulk-media-downloader_0.2.1-3.1.debian.tar.xz]
Responsable :
Ressources externes :
- Page d'accueil [addons.mozilla.org]
Paquets similaires :
extension multinavigateur pour détecter et télécharger des ressources de média
Bulk Media Downloader est une extension (greffon) de navigateur pour détecter toutes les sources de médias (vidéo, audio et image) en supervisant toutes les activités réseau. Au contraire d’autres extensions similaires, Bulk Media Downloader n’a aucun impact sur les performances de navigateur quand la fenêtre de capture est fermée. Pour récupérer un média, il faut ouvrir la fenêtre Media Tools et rafraichir l’onglet du navigateur possédant la ressource et attendre que le navigateur récupère la ressource une fois de plus. Des filtres peuvent être utilisés pour restreindre l’aire de la ressource et il est possible de grouper les ressources à télécharger en sélectionnant plusieurs items à la fois.
Autres paquets associés à webext-bulk-media-downloader
|
|
|
|
-
- rec: firefox (>= 50)
- Paquet indisponible
- ou firefox-esr (>= 50)
- navigateur internet Firefox de Mozilla —⋅version à prise en charge étendue (ESR)
- ou chromium
- navigateur web
Télécharger webext-bulk-media-downloader
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 167,2 ko | 538,0 ko | [liste des fichiers] |