
Advanced search
Medias (91)
-
#3 The Safest Place
16 October 2011, by
Updated: February 2013
Language: English
Type: Audio
-
#4 Emo Creates
15 October 2011, by
Updated: February 2013
Language: English
Type: Audio
-
#2 Typewriter Dance
15 October 2011, by
Updated: February 2013
Language: English
Type: Audio
-
#1 The Wires
11 October 2011, by
Updated: February 2013
Language: English
Type: Audio
-
ED-ME-5 1-DVD
11 October 2011, by
Updated: October 2011
Language: English
Type: Audio
-
Revolution of Open-source and film making towards open film making
6 October 2011, by
Updated: July 2013
Language: English
Type: Text
Other articles (66)
-
Organiser par catégorie
17 May 2013, byDans MédiaSPIP, une rubrique a 2 noms : catégorie et rubrique.
Les différents documents stockés dans MédiaSPIP peuvent être rangés dans différentes catégories. On peut créer une catégorie en cliquant sur "publier une catégorie" dans le menu publier en haut à droite ( après authentification ). Une catégorie peut être rangée dans une autre catégorie aussi ce qui fait qu’on peut construire une arborescence de catégories.
Lors de la publication prochaine d’un document, la nouvelle catégorie créée sera proposée (...) -
Création définitive du canal
12 March 2010, byLorsque votre demande est validée, vous pouvez alors procéder à la création proprement dite du canal. Chaque canal est un site à part entière placé sous votre responsabilité. Les administrateurs de la plateforme n’y ont aucun accès.
A la validation, vous recevez un email vous invitant donc à créer votre canal.
Pour ce faire il vous suffit de vous rendre à son adresse, dans notre exemple "http://votre_sous_domaine.mediaspip.net".
A ce moment là un mot de passe vous est demandé, il vous suffit d’y (...) -
Le profil des utilisateurs
12 April 2011, byChaque utilisateur dispose d’une page de profil lui permettant de modifier ses informations personnelle. Dans le menu de haut de page par défaut, un élément de menu est automatiquement créé à l’initialisation de MediaSPIP, visible uniquement si le visiteur est identifié sur le site.
L’utilisateur a accès à la modification de profil depuis sa page auteur, un lien dans la navigation "Modifier votre profil" est (...)
On other websites (5320)
-
Révision 24038: Fix #4167 : éviter d’afficher le script de redirection js quand le form de login ...
15 August 2018, by bruno@eliaz.fr -
Anomalie #620: maintenir à jour les fonctions tierces incluses dans SPIP (script externes)
7 February 2021, by b b:)
-
Creating forks of `ffmpeg` in loop inside a shell script "loses" some iterations
19 October 2015, by sschaefI have a shell script that takes a directory as input, reads all
mp4
files in it and convert them to amp3
withffmpeg
:#!/bin/bash
dir=$1
while read -rd "" file
do
base=$(basename "$file")
filename=${base%(*}".mp3"
ffmpeg -i "$file" -vn -ar 44100 -ac 2 -ab 192000 -f mp3 "$filename" &
done < <(find $dir -maxdepth 1 -iname "*.mp4" -print0)
wait
exit 0Currently all these calls to
ffmpeg
are forked because when I leave out the&
at the end only the first file in converted and the others are ignored.But this is problematic because somethings this fails on some files error messages like the following:
path/to/file/file name - with spaces(info)(temp_information).mp4: No such file or directory
All file names normally contain spaces, maybe that is the reason why it fails for some files.
Thus, I have the following questions:
- When I don’t fork the
ffmpeg
calls why is only the first file executed? I expected that the loop waits until the process is finished and then continues with the next iteration. - Why is the script unable to find some files (maybe it is a problem of
ffmpeg
)? - How to solve all these problems and make the script to work?
- When I don’t fork the