Résultats de la recherche

Correspondances dans les titres des pages

• Alias shell
  [[Category:Shell]]
  1 kio (208 mots) - 8 avril 2017 à 14:52

Correspondances dans le texte des pages

• Gnome
  = Gnome Shell = Elles sont installées dans <tt>~/.local/share/gnome-shell/extensions</tt>
  9 kio (1 275 mots) - 7 avril 2019 à 20:46
• Bash
  [[Category:Shell]] # spécifie quel shell doit être utilisé
  32 kio (4 715 mots) - 16 juin 2024 à 13:07
• GRUB
  = Normal Shell = Si GRUB rencontre un problème, il passe en mode normal shell
  11 kio (1 750 mots) - 21 décembre 2016 à 16:21
• Sysinternals
  [HKEY_CLASSES_ROOT\*\shell\SDelete] [HKEY_CLASSES_ROOT\*\shell\SDelete\Command]
  4 kio (628 mots) - 7 février 2022 à 18:59
• Prism 6
  * Shell: contient les regions return Container.Resolve<Shell>();
  19 kio (1 992 mots) - 7 août 2020 à 14:42
• Powershell configuration
  # elevate the current shell in the current console window (Cmd/PowerShell/Pwsh Core/Yori) # launch the current shell elevated in a new console window
  23 kio (2 811 mots) - 1 février 2024 à 17:47
• Windows 8
  [HKEY_CLASSES_ROOT\Folder\shell\WindowsDefender] [HKEY_CLASSES_ROOT\Folder\shell\WindowsDefender\command]
  2 kio (232 mots) - 14 mars 2015 à 19:41
• Prism 7
  * Shell: contient les regions = Shell =
  19 kio (2 059 mots) - 25 février 2021 à 20:58
• Zsh
  [[Category:Shell]] # définir zsh comme shell par défaut pour l'utilisateur courant
  10 kio (1 496 mots) - 30 août 2023 à 23:09
• Gitea
  {{info | Gitea does not provide shell access with the gitea user.<br> So it is not possible to access a shell with a direct ssh connection, which is good regarding security.}}
  4 kio (610 mots) - 18 octobre 2023 à 20:08
• ArchLinux
  # -s: set the shell, by default /bin/bash (must be one of the shell listed in /etc/shells) # changer le shell d'un utilisateur
  25 kio (3 713 mots) - 26 février 2024 à 08:34
• Gitlab
  ...ump -v -n 64 -e '1/1 "%02x"' /dev/urandom | sudo dd of=/etc/webapps/gitlab-shell/secret sudo chmod 640 /etc/webapps/gitlab-shell/secret
  16 kio (2 285 mots) - 20 juin 2023 à 17:28
• Ubuntu arm 20.04
  # install oh-my-zsh and set zsh as default shell for the current user == Shell tools ==
  10 kio (1 319 mots) - 5 mai 2024 à 17:16
• Bash ubuntu on windows
  # lancer une commande bash depuis un autre shell (powershell) = [https://www.howtogeek.com/270810/how-to-quickly-launch-a-bash-shell-from-windows-10s-file-explorer Lancer bash depuis le menu contextuel d'expl
  6 kio (852 mots) - 10 juillet 2018 à 14:51
• Docker
  # -it : open a shell on the container # -ai : open a shell on the container
  12 kio (1 715 mots) - 10 juin 2023 à 13:39
• Azure
  = Cloud Shell = == [https://docs.microsoft.com/en-us/azure/cloud-shell/overview Création manuelle du storage account] ==
  6 kio (732 mots) - 1 octobre 2018 à 15:10
• Cinnamon applet
  ...maticalcoffee.blogspot.fr/2012/09/gnome-shell-javascript-source.html GNOME shell: UI and Misc javascript files] ...e-shellcinnamon-extension-preferences-persistence.html#ixzz25D0Cx2VQ GNOME Shell/Cinnamon Extension Configuration Persistence]
  25 kio (3 320 mots) - 9 février 2024 à 16:18
• Python
  subprocess.run("ls -a -l", shell=True) # appel d'un script bash, inutil d'ajouter shell=True si le script contient #!/usr/bin/bash
  35 kio (5 004 mots) - 9 août 2024 à 10:09
• Fsharp
  = Execute a shell command = * [https://alexn.org/blog/2020/12/06/execute-shell-command-in-fsharp/ Execute shell commands in F#]
  6 kio (833 mots) - 30 juillet 2024 à 14:00
• Mongodb
  choco install mongodb mongodb-shell # mongodb-org-server mongodb-org-shell mongodb-org-tools
  12 kio (1 420 mots) - 31 octobre 2024 à 21:58