Diferenças

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

--- faq:pedirprograma [2024/05/21 16:25] – figurantpp
+++ faq:pedirprograma [2026/04/07 21:29] (atual) – arakaki
@@ Linha 7: / Linha 7: @@
 ===== rl shell =====
-rl shell é uma ferramenta que permite aos usuários executar utilitários gerais, a partir do projeto [[https://nixos.org|nix]]. Para mais informações, execute ''%%man rl shell%%'' em um computador da Rede. Note que a ferramenta não funciona bem para programas que utilizam GPU; Estes devem ser solicitados para a administração em admin@linux.ime.usp.br.
+rl shell é uma ferramenta que permite aos usuários executar utilitários gerais, a partir do projeto [[https://nixos.org|nix]]. Para mais informações, execute ''%%man rl shell%%'' em um computador da Rede. Note que a ferramenta não funciona bem para programas que utilizam GPU; Estes devem ser solicitados para a administração em admin-linux@ime.usp.br.
 ==== Exemplo de uso ====