
Recherche avancée
Médias (1)
-
Rennes Emotion Map 2010-11
19 octobre 2011, par
Mis à jour : Juillet 2013
Langue : français
Type : Texte
Autres articles (40)
-
La file d’attente de SPIPmotion
28 novembre 2010, parUne file d’attente stockée dans la base de donnée
Lors de son installation, SPIPmotion crée une nouvelle table dans la base de donnée intitulée spip_spipmotion_attentes.
Cette nouvelle table est constituée des champs suivants : id_spipmotion_attente, l’identifiant numérique unique de la tâche à traiter ; id_document, l’identifiant numérique du document original à encoder ; id_objet l’identifiant unique de l’objet auquel le document encodé devra être attaché automatiquement ; objet, le type d’objet auquel (...) -
La sauvegarde automatique de canaux SPIP
1er avril 2010, parDans le cadre de la mise en place d’une plateforme ouverte, il est important pour les hébergeurs de pouvoir disposer de sauvegardes assez régulières pour parer à tout problème éventuel.
Pour réaliser cette tâche on se base sur deux plugins SPIP : Saveauto qui permet une sauvegarde régulière de la base de donnée sous la forme d’un dump mysql (utilisable dans phpmyadmin) mes_fichiers_2 qui permet de réaliser une archive au format zip des données importantes du site (les documents, les éléments (...) -
Script d’installation automatique de MediaSPIP
25 avril 2011, parAfin de palier aux difficultés d’installation dues principalement aux dépendances logicielles coté serveur, un script d’installation "tout en un" en bash a été créé afin de faciliter cette étape sur un serveur doté d’une distribution Linux compatible.
Vous devez bénéficier d’un accès SSH à votre serveur et d’un compte "root" afin de l’utiliser, ce qui permettra d’installer les dépendances. Contactez votre hébergeur si vous ne disposez pas de cela.
La documentation de l’utilisation du script d’installation (...)
Sur d’autres sites (4593)
-
ffmpeg video slideshow script with vertical stack transition ?
11 mai 2019, par Trần Công TrườngI have cmd : ffmpeg -y -r 1/5 -i "C :\test\a\%0d.jpg" -r 24 "C :\test\out.mp4"
I want slideshow script with vertical stack transition. Similar to the video below : https://www.youtube.com/watch?v=3G47V5EDJZw . Thanks -
Strange behavior about ”ls | while read" with ffmpeg in shell script [duplicate]
13 décembre 2018, par user3288408This question already has an answer here :
-
execute ffmpeg command in a loop
3 answers
I created a shell script to convert all wave files to mp3 files. I use Ubuntu 18.04, FFmpeg was installed using apt, and I run my script in bash.
My script :
#!/bin/bash
ls *.wav | while read file
do
echo $file
ffmpeg -i "$file" -codec:a libmp3lame -b:a 192k "${file%.*}.mp3"
doneThe target files are followings : (include space characters. The real filenames are longer, but I simplified the filenames. Also in this case, the problem occurs)
% ls *.wav
'01 A.wav' '02 A.wav' '03 A.wav'The problem is that sometimes $file in the loop is blank or a part of filename strangely (’echo $file’ shows that), and ffmpeg says ’[broken filename] : No such file or directory’. I confirmed the following things.
- When I comment out the ffmpeg line, ’echo’ shows what I expected. ($file not broken)
- When I replace ffmpeg to a similar command like ’lame’, it works. ($file not broken)
- When I replace ’ls *.wav | while read file’ to ’for file in *.wav’, it works. ($file not broken)
So, only when I use combination of ’ls’ and ’ffmpeg’, $file is broken. What’s going on ? Or do I misunderstand something ?
-
execute ffmpeg command in a loop
-
Bash Script - Rename files that are beginning with a number to two digits [duplicate]
9 septembre 2018, par Flavorum1This question already has an answer here :
I have a couple of folders that are audiobooks. The files are numbered and I want to convert them to one file.
I used the following script to convert them :#!/bin/bash
if [ ! -d mp3 ]; then
mkdir -p mp3;
fi;
for f in ./*.flac; do echo "file '$f'" >> mylist.txt; done
ffmpeg -f concat -safe 0 -i mylist.txt -b:a 320k mp3/title.mp3
[ -e mylist.txt ] && rm mylist.txtMy problem is that I have to rename the first ten files because they are not in the right order. The files are named 1 - Title, 2 - Title, 3 - Title and so on. To get the right order I have to rename them to 01 - Title, 02 - Title, ..., 09 - Title.
How can I do that with a bash script ? Furthermore it would be nice, if the playlist.m3u file would be changed accordingly.Thanks for your help.
@Cyrus posted the right Link to solve my problem.
The solved script ist :#!/bin/bash
if [ ! -d mp3 ]; then
mkdir -p mp3;
fi;
for f in ./*.flac; do echo "file '$f'" >> mylist2.txt; done
sort -V mylist2.txt >> mylist.txt
rm mylist2.txt
ffmpeg -f concat -safe 0 -i mylist.txt -b:a 320k mp3/title.mp3
[ -e mylist.txt ] && rm mylist.txt