Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

Link para esta página de comparações

Ambos lados da revisão anterior Revisão anterior
argos_-_extensao_do_gnome_shell [2018/11/16 12:23]
andre
argos_-_extensao_do_gnome_shell [2018/11/16 12:25] (atual)
andre
Linha 20: Linha 20:
  
 if [ "​$ARGOS_MENU_OPEN"​ == "​true"​ ]; then if [ "​$ARGOS_MENU_OPEN"​ == "​true"​ ]; then
-  ​# http://​stackoverflow.com/​a/​14853319 +  ​OUTPUT=$(top -b -n 1 | head -n 20 | awk 1 ORS="​\\\\n"​) 
-  TOP_OUTPUT=$(top -b -n 1 | head -n 20 | awk 1 ORS="​\\\\n"​) +  echo "$OUTPUT ​| font=monospace bash=top"​
-  echo "$TOP_OUTPUT ​| font=monospace bash=top"​+
 else else
   echo "​Loading..."​   echo "​Loading..."​