Recherche avancée

Sur d’autres sites (10714)

• Nomenclature #4626 : Renommer le menu "Squelettes"

  30 avril 2021

  Ça me fait d’ailleurs très penser à un sketch de "La stratégie de l’échec", où il faut apprendre à mal ranger : "Je classe les factures débiteurs dans le dossier Antilope"
  Ya un mot inconnu de la plupart des users, qui ne correspond à rien pour elleux, et on leur demande se souvenir que tel config est dedans, juste par mémoire, et non parce que c’est compréhensible en soi.

  Tiens, bonne analogie :)
  Oui mon impression c’est également que celles et ceux qui s’y retrouvent y arrivent malgré le terme utilisé : on finit par associer « squelettes » avec ces entrées de menu... Parceque c’est comme ça, on a pas le choix.
  Ça ne dispense pas de trouver quelque chose de plus approprié.
  Difficile de trouver un terme court qui recouvre tout ce qu’on peut trouver dans ce menu, mais en tout cas les 2 propositions sont déjà bien plus parlantes (moi toujours une préférence pour « mise en page » pour l’instant).

• Evolution #4301 : Permettre de ne pas installer les plugins_dist qui sont en option

  13 novembre 2019, par RastaPopoulos ♥

  Je ne comprends pas le principe : le dossier "dist" pour les plugins signifie explicitement que ce sont les plugins OBLIGATOIRES de CETTE distribution précise (pour l’instant on n’en a qu’une évidemment mais si on en avait 10 ça serait pareil pour chacune). Donc forcément installés dès qu’on lance la machine. Si des plugins doivent pouvoir être désinstallable alors ils doivent être dans plugins/ tout court et seront alors optionnels.

  Ça ne peut pas être après-coup donc, pour telle distribution précise, tout ce qui est dans plugins-dist ce sont les plugins obligatoires un point c’est tout, c’est le principe même de ce dossier. Donc si on veut autrement c’est en générant une autre distribution qui n’a pas les mêmes choses dans les dossiers.

• upload video with display and upon submit that video by post method to PHP file where FFMPEG command execute

  30 avril 2019, par Asfand Yar

  Main Task
  Video -> Audio (Wav or mp3)
  Procedure :
  User select video and its display and upload in video player thats fine but when i try to upload via the form tag and post method to php file (Bash.php) where that video have to be converted into the audio (mp3 or wav) i am using FFMPEG library (THat command work perfectly into the Command line) I am trying to do it in php (exec) but didn’t find fruitful results

  I try FFMPEG command to convert uploaded mp4 video to audio because i need audio to transcription
  HTML CODE

  <video width="500" controls="controls" preload="none">
  
  
  
  </video>
  
  
  
  
  
  
  
  <div class="container d-flex justify-content-center">
  
  <input type="file" accept="video/*" />
  
  
  
  </div>
  
  
  
      <code class="echappe-js">&lt;script type=&quot;text/javascript&quot;&gt;<br />
  
      video_file.onchange = function(){<br />
  
  <br />
  
      var files = this.files;<br />
  
  <br />
  
      var file = URL.createObjectURL(files[0]); <br />
  
  <br />
  
      video_player.src = file; <br />
  
  <br />
  
      video_player.load();};  <br />
  
  <br />
  
  &lt;/script&gt;
  
       
  
  

  <?php  
  
      if(isset($_FILES['video'])){                                                                              
  
      $errors = array();     
  
          $file_name = $_FILES['video']['name'];                                                                
  
          $file_size = $_FILES['video']['size'];                                                                
  
          $file_tmp = $_FILES['video']['tmp_name'];                                                             
  
          $file_type = $_FILES['video']['type'];                                                                
  
          $file_ext = strtolower(end(explode('.',$_FILES['video']['name'])));   
  
  
  
  
  
      $expensions = array("mp4","avi");                                                                                                   
  
  
  
  
  
          if(in_array($file_ext, $expensions[0])===false){                   
  
              $errors[]="Extension not allowed, please choose a Mp4 or Avi file video";
  
          }                                                                                                              
  
      $convertedFile='fine.mp3';                                               
  
          if(empty($errors)==true){   
  
          move_uploaded_file($file_tmp, './'.$file_name);
  
          exec("ffmpeg -i $file_name -vn fine.mp3");
  
  
  
          }else{                                                                                                
  
              print_r($errors);                                                                                 
  
          }
  
      $target = "http://localhost:8888/client/dynamic/recognize";
  
      sleep(3);
  
  
  
      if($file_ext == "mp4" or $file_ext == "avi"){
  
          exec("python /path/client2.py fine.mp3 > output.txt 2> output2.txt"); 
  
  
  
          $output = exec("cat output.txt");   }
  
      echo $output;
  
      }
  
  ?>