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 / ubuntu / Perguntas / 1528076
Accepted
Ewan Delanoy
Ewan Delanoy
Asked: 2024-09-26 00:18:29 +0800 CST2024-09-26 00:18:29 +0800 CST 2024-09-26 00:18:29 +0800 CST

xdotool falha ao definir perfil de terminal no Ubuntu 22.04

  • 772

Estou usando o Ubuntu 22.04. Tenho três perfis no meu terminal, um padrão embutido e dois que eu mesmo criei:

insira a descrição da imagem aqui

Meu perfil "OCaml" tem uma cor de fundo azul, entre outras coisas:

insira a descrição da imagem aqui

Mas quando tento usar xdotoolcomo sugerido nas respostas desta pergunta mais antiga para definir meu perfil programaticamente, nenhuma delas funciona: a cor de fundo permanece inalterada.

insira a descrição da imagem aqui

Alguma ideia?

Atualização: Só para esclarecer, não estou procurando uma maneira de definir meu perfil padrão como "OCaml", quero deixar o padrão como está e usar meu perfil Ocaml somente quando, você adivinhou, estou programando na linguagem OCaml. O motivo pelo qual quero fazer isso programaticamente, usando a linha de comando, é que, a partir de agora, quando começo a programar em OCaml no meu terminal, faço duas coisas separadas: chamo um script bash para configurar meu ambiente OCaml e definindo o perfil como OCaml usando a GUI do Gnome. Gostaria de mesclar essas duas ações em uma para economizar tempo.

command-line
  • 1 1 respostas
  • 27 Views

1 respostas

  • Voted
  1. Best Answer
    kos
    2024-09-26T18:19:34+08:002024-09-26T18:19:34+08:00

    Não há necessidade de usar xdotoolneste caso, pois gnome-terminalaceita um --profileparâmetro que fará com que ele gere uma instância de terminal com um perfil transitório.

    Além disso, se você sinalizar o fim da lista de argumentos usando --, gnome-terminalo restante da linha de comando será executado.

    Conforme explicado nos comentários, você precisa configurar seu ambiente executando cd $CAML_DIR && codium . && dune utop lib. Juntando tudo:

    gnome-terminal --profile=OCaml -- sh -c "cd $CAML_DIR && codium . && dune utop lib; exec bash"
    

    O exec bashbit no final é o que força o terminal a permanecer aberto após os outros comandos terem sido executados. Se você quiser fechar o terminal original após o fato, você pode simplesmente encadear exitpara o comando acima:

    gnome-terminal --profile=OCaml -- sh -c "cd $CAML_DIR && codium . && dune utop lib; exec bash"; exit
    

    Você também pode tentar colocar o primeiro comando em um arquivo .desktop; dessa forma, você pode ter um método prático de clique duplo para configurar tudo sem precisar gerar (e fechar) uma instância de terminal apenas para configurar o ambiente.

    • 1

relate perguntas

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