AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / user-653727

dmkonlinux's questions

Martin Hope
dmkonlinux
Asked: 2024-05-29 21:43:52 +0800 CST

Devo usar a palavra-chave "time", o comando "/usr/bin/time" ou o "times" integrado para cronometrar a execução de comandos no bash?

  • 11

Estou investigando o bash pela primeira vez e quero tentar testar algum código para comparar diferentes maneiras de atingir o mesmo objetivo. Como parte disso, descobri os métodos de tempo e tempo para registrar o tempo de execução do código. Para um script simples de uma linha criado por meio de:

echo "echo a script" > script

Eu recebo:

$ time bash ./script
a script

real    0m0.009s
user    0m0.006s
sys 0m0.002s

$ times bash ./script
0m0.082s 0m0.074s
0m0.019s 0m0.041s

$ /usr/bin/time bash ./script
a script
0.00user 0.00system 0:00.00elapsed 80%CPU (0avgtext+0avgdata 3328maxresident)k
0inputs+0outputs (0major+148minor)pagefaults 0swaps
$ type -a time
time is a shell keyword
time is /usr/bin/time
time is /bin/time
$ type -a times
times is a shell builtin

$ which -a time
/usr/bin/time
/bin/time

bash -c helpme leva para:

$ help time
time: time [-p] pipeline  
    Report time consumed by pipeline's execution.

$ help times
times: times  
    Display process times.

E man timeme dá:

TIME(1)..........Manual de Comandos Gerais..........TIME(1)

Hora NAME - execute programas e resuma o uso de recursos do sistema

Os usuários do shell bash precisam usar um caminho explícito para executar o comando de tempo externo e não a variante interna do shell. No sistema onde o horário está instalado em /usr/bin, o primeiro exemplo seria/usr/bin/time wc /etc/hosts

O manual de referência do bash descreve timecomo uma palavra reservada que tem "um significado especial para o shell. Eles são usados ​​​​para iniciar e terminar os comandos compostos do shell", enquanto timesé descrito como um comando interno do shell , "herdado do Bourne Shell. Esses comandos são implementados conforme especificado pelo padrão POSIX".

Além de uma linha no manual dizendo:

O uso de time como uma palavra reservada permite o tempo de componentes internos do shell, funções do shell e pipelines. Um comando de tempo externo não pode cronometrar isso facilmente.

Não consigo ver o raciocínio para três comandos muito semelhantes.

Qual devo usar para testar diferentes abordagens e otimizar meus scripts?

command-line
  • 1 respostas
  • 537 Views
Martin Hope
dmkonlinux
Asked: 2024-05-04 12:57:48 +0800 CST

O mouse capturado do Ubuntu 22.04.2/VirtualBox 7.0.18 não está contido quando o modo de integração está desativado

  • 5

Eu tenho um VirtualBoxexecutando o Windows XP para usar alguns programas antigos de câmeras digitais OEM e alguns jogos. O VirtualBox é instalado através de seu ppa com pacotes de extensão e adições de convidados instalados no XP em modo de segurança. Com a atualização recente para 7.0.18 comecei a ter problemas de mouse com o convidado no modo dimensionado e com a integração do mouse desativada. O cursor inicialmente para na borda da janela do VirtualBox e depois percorre a borda até a área de trabalho do Ubuntu. Depois de oscilar um pouco dentro e fora da janela, o cursor às vezes pode ser mapeado para a posição errada na janela ou não alcançar as bordas. Isso continuou mesmo quando desinstalei as adições de convidados, o que não deveria acontecer. O mouse, uma vez capturado, deve permanecer totalmente contido no VirtualBox. Este é o meu meio preferido de executar a rolagem controlada pelo mouse em jogos sem janela.

Tentei reinstalar o pacote de extensões e as adições de convidados sem nenhuma alteração no comportamento.

virtualbox
  • 1 respostas
  • 26 Views

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Existe um comando para listar todos os usuários? Também para adicionar, excluir, modificar usuários, no terminal?

    • 9 respostas
  • Marko Smith

    Como excluir um diretório não vazio no Terminal?

    • 4 respostas
  • Marko Smith

    Como descompactar um arquivo zip do Terminal?

    • 9 respostas
  • Marko Smith

    Como instalo um arquivo .deb por meio da linha de comando?

    • 11 respostas
  • Marko Smith

    Como instalo um arquivo .tar.gz (ou .tar.bz2)?

    • 14 respostas
  • Marko Smith

    Como listar todos os pacotes instalados

    • 24 respostas
  • Martin Hope
    Flimm Como posso usar o docker sem sudo? 2014-06-07 00:17:43 +0800 CST
  • Martin Hope
    led-Zepp Como faço para salvar a saída do terminal em um arquivo? 2014-02-15 11:49:07 +0800 CST
  • Martin Hope
    ubuntu-nerd Como descompactar um arquivo zip do Terminal? 2011-12-11 20:37:54 +0800 CST
  • Martin Hope
    TheXed Como instalo um arquivo .deb por meio da linha de comando? 2011-05-07 09:40:28 +0800 CST
  • Martin Hope
    Ivan Como listar todos os pacotes instalados 2010-12-17 18:08:49 +0800 CST
  • Martin Hope
    David Barry Como determino o tamanho total de um diretório (pasta) na linha de comando? 2010-08-06 10:20:23 +0800 CST
  • Martin Hope
    jfoucher "Os seguintes pacotes foram retidos:" Por que e como resolvo isso? 2010-08-01 13:59:22 +0800 CST
  • Martin Hope
    David Ashford Como os PPAs podem ser removidos? 2010-07-30 01:09:42 +0800 CST

Hot tag

10.10 10.04 gnome networking server command-line package-management software-recommendation sound xorg

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve