Diferencias

Muestra las diferencias entre dos versiones de la página.

--- wiki:computo:flash [2022/08/12 14:28]
srgualpa [USO DE FLASH]
+++ wiki:computo:flash [2022/08/12 15:01] (actual)
srgualpa
@@ Línea 344: / Línea 344: @@
 <br>
 </HTML>
-Eso creará una carpeta que se llama como el nombre de la maquina en /sites. Copiar en esa carpeta  el Makefile.h.elegido. Renombrar este archivo a Makefile.h.
+Eso creará una carpeta que se llama como el nombre de la maquina en /sites. Copiar en esa carpeta  el Makefile.h elegido. Renombrar este archivo a Makefile.h.
 <HTML>
 <ul class="shell-body">
@@ Línea 360: / Línea 360: @@
 <br>
-<b>clemente:</b>
+<b>clemente</b>
 <br>
 <br>
@@ Línea 380: / Línea 380: @@
          <br>
 </HTML>
-<file c submit_mpi_job.sh[enable_line_numbers="true",highlight_lines_extra="5,7,8,9"]>
+<file c Makefile.h[enable_line_numbers="true",highlight_lines_extra="8,10,11,12"]>
 #FLASH makefile definitions for x86-64 Linux (GNU compilers)
 #----------------------------------------------------------------------------
@@ Línea 564: / Línea 564: @@
+<br>
 <br>
@@ Línea 632: / Línea 635: @@
 <br>
 </HTML>
+<JS>
-<JS>
-//-------------------------------------   JS  --------------------------------------------
- function abrirMenuPrincipal(evt, cityName) {
-    var i, tabcontent, tablinks;
-    tabcontent = document.getElementsByClassName("tabcontent");
-    for (i = 0; i < tabcontent.length; i++) {
-        tabcontent[i].style.display = "none";
-    }
-    tablinks = document.getElementsByClassName("tablinks");
-    for (i = 0; i < tablinks.length; i++) {
-        tablinks[i].className = tablinks[i].className.replace(" active", "");
-    }
-    document.getElementById(cityName).style.display = "block";
-    evt.currentTarget.className += " active";
-}
-document.getElementById("clemente").click();
 var acc = document.getElementsByClassName("botonPanel");
 var i;
@@ Línea 665: / Línea 650: @@
             panel.style.display = "block";
         }
     });
 }
-window.addEventListener("load", function(event) {
-     const hash = window.location.hash.replace("#servidor_", "");
-     document.getElementById(hash).click();
-});
-    //-------------------------------------FIN JS---------------------------------------------
 </JS>