Recherche avancée

Médias (0)

Mot : - Tags -/logo

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

Autres articles (83)

  • Submit enhancements and plugins

    13 avril 2011

    If you have developed a new extension to add one or more useful features to MediaSPIP, let us know and its integration into the core MedisSPIP functionality will be considered.
    You can use the development discussion list to request for help with creating a plugin. As MediaSPIP is based on SPIP - or you can use the SPIP discussion list SPIP-Zone.

  • Participer à sa traduction

    10 avril 2011

    Vous pouvez nous aider à améliorer les locutions utilisées dans le logiciel ou à traduire celui-ci dans n’importe qu’elle nouvelle langue permettant sa diffusion à de nouvelles communautés linguistiques.
    Pour ce faire, on utilise l’interface de traduction de SPIP où l’ensemble des modules de langue de MediaSPIP sont à disposition. ll vous suffit de vous inscrire sur la liste de discussion des traducteurs pour demander plus d’informations.
    Actuellement MediaSPIP n’est disponible qu’en français et (...)

  • Script d’installation automatique de MediaSPIP

    25 avril 2011, par

    Afin 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 (7888)

  • ctrl+c doesn't wait for child process (background process) to finish with trap

    11 avril 2019, par phisch

    I have a script which registers a SIGINT trap and starts a ffmpeg background process that records part of the screen. The SIGINT trap sends a SIGINT signal to the background ffmpeg process to get it to gracefully stop and finish the recording.

    When this script is run in a terminal, and terminated from a separate terminal with kill -INT [SCRIPT_PID], the ffmpeg background process terminates gracefully and outputs confirmation in terminal 1.

    When the script is run in a terminal and stopped with ctrl+c the background process just dies instantly. (even if ctrl+c should just send a SIGINT signal)

    Why does ctrl+c behave differently than killing the script with kill -INT in this case ?
    How can i make sure the ffmpeg background process ends gracefully when ending the script with ctrl+c ?

    #!/bin/bash
    

    
exit_script() {
    
    kill -INT $ffmpeg_pid
    
    wait $ffmpeg_pid
    
    printf "\n\nffmpeg should say 'exiting normally, received signal 2' before this message is printed!\n\n"
    
}
    

    
trap exit_script SIGINT 
    

    
ffmpeg -f x11grab -s 500x500 -i :0.0+0,0 ~/video_`date +%s`.webm &
    
ffmpeg_pid=$!
    

    
wait

    edit : it seems like ffmpeg receives 2 int signals in the case of ctrl+c, but i don’t know why

  • Revision 92733 : fix supplementaire de r80391 (suite de r82954) : il ne faut pas exclure ...

    7 novembre 2015, par cedric@… — Log

    fix supplementaire de r80391 (suite de r82954) : il ne faut pas exclure les articles dont aucun index ne match mais dont l’index d’un mot cle lie match (b_b). A valider

  • Revision 92733 : fix supplementaire de r80391 (suite de r82954) : il ne faut pas exclure ...

    7 novembre 2015, par cedric@… — Log

    fix supplementaire de r80391 (suite de r82954) : il ne faut pas exclure les articles dont aucun index ne match mais dont l’index d’un mot cle lie match (b_b). A valider

Navigation