Recherche avancée

Médias (0)

Mot : - Tags -/images

Aucun média correspondant à vos critères n’est disponible sur le site.

Autres articles (48)

  • Le profil des utilisateurs

    12 avril 2011, par

    Chaque 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 (...)

  • Les autorisations surchargées par les plugins

    27 avril 2010, par

    Mediaspip core
    autoriser_auteur_modifier() afin que les visiteurs soient capables de modifier leurs informations sur la page d’auteurs

  • Personnaliser les catégories

    21 juin 2013, par

    Formulaire de création d’une catégorie
    Pour ceux qui connaissent bien SPIP, une catégorie peut être assimilée à une rubrique.
    Dans le cas d’un document de type catégorie, les champs proposés par défaut sont : Texte
    On peut modifier ce formulaire dans la partie :
    Administration > Configuration des masques de formulaire.
    Dans le cas d’un document de type média, les champs non affichés par défaut sont : Descriptif rapide
    Par ailleurs, c’est dans cette partie configuration qu’on peut indiquer le (...)

Sur d’autres sites (6920)

  • Evolution #4609 (Nouveau) : Pouvoir configurer le délai d’expiration du cookie de la splash boite

    27 novembre 2020, par jean marie

    Ajouter une config qui permette de choisir le délai d’expiration du cookie de la splash boite sans avoir à surcharger https://git.spip.net/spip/mediabox/src/branch/master/javascript/splash.mediabox.js#L4

    Voir discussion sur spip-dev : https://www.mail-archive.com/spip-dev@rezo.net/msg70564.html

  • build video from images with a bash for loop using ffmpeg

    10 septembre 2021, par TheCodeNovice

    I am trying to take 50K images and turn them into a movie using ffmpeg. I am running this on a HPC setup, hence the slurm commands. My attempt does not work since I am running into a hard limit due to the shear volume of images. I cannot just list a start number since the pipeline will reject some images so I do not have a proper sequence.

    


    I know a loop could circumvent both issues but I am not sure how to use that with ffmpeg so that it builds one long movie.

    


    The cat command has worked for shorter movies but i just have too many images now.

    


    #!/bin/bash&#xA;&#xA;img_dir=&#x27;foo/bar/1/2/123456&#x27;&#xA;folder=&#x27;fooo&#x27;&#xA;#BATCH -p general&#xA;#SBATCH -N 1&#xA;#SBATCH -t 03-00:00:00&#xA;#SBATCH --mem=8g&#xA;#SBATCH -n 1&#xA;#SBATCH --mail-type=BEGIN,REQUEUE,END,FAIL,REQUEUE   &#xA;#SBATCH --mail-user=<snip>&#xA;&#xA;singularity exec /$img_dir/foo_container cat /$img_dir/processed_images/$folder/*.jpeg | ffmpeg -f image2pipe -i pipe:.jpeg -vf "crop=trunc(iw/2)*2:trunc(ih/2)*2" /$img_dir/processed_images/$folder/$folder.mp4&#xA;&#xA;</snip>

    &#xA;

  • Video Editing using HTML, CSS and Javascript [closed]

    9 février 2018, par Shrujan Shetty

    I need to edit a video using HTML5 and Javascript only. No flash or ffmpeg. I need to add title boards, background audio, (transitions, bumpers), borders etc.

    I have tried popcorn.js but it uses CSS only and does not actually edit the video. I have even experimented with ffmpeg. FFmpeg gets the job done but takes a lot of time.

Navigation