Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
shell
shell@ title: tab
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
& add shell
& engadir a shell
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
gnome shell
intérprete de ordes para gnome
Ultimo aggiornamento 2014-08-15
Frequenza di utilizzo: 1
Qualità:
shell script:
script da shell:
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
shell no. %1
shell nº% 1 @ info
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
& login shell:
shell de conexión:
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
nepomuk pimo shell
shell pimo de nepomukcomment
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
run shell script:
executar o script de & shell:
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
& pre-shell command:
& pré- comando:
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
custom desktop shell
shell de escritorio personalizada
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
override default shell.
ignorar a shell predeterminada.
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
an interactive python shell
un intérprete interactivo de ordes en python
Ultimo aggiornamento 2014-08-15
Frequenza di utilizzo: 1
Qualità:
shell-like with completion box
tipo liña de comandos con campo de completación
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
configure gnome shell extensions
configure as extensións de gnome shell
Ultimo aggiornamento 2014-08-15
Frequenza di utilizzo: 1
Qualità:
information: finished shell command.
información: rematou a orde da shell.
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
gnome-shell-timer preference
preferencias de gnome-shell-timer
Ultimo aggiornamento 2014-08-15
Frequenza di utilizzo: 1
Qualità:
executes an external shell command.
executa unha orde da shell.
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
shell globs (* and?). case sensitive.
caracteres de substitución da shell (* e?). sensíbel á capitalización. @ option: radio
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
a lightweight replacement shell for kde 4
un substituto lixeiro da shell de kde 4
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
enter a shell command to execute.
introduza a orde da consola que quere executar. @ info: whatsthis
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:
