Pular para o conteúdo

Utilizar o Monodevelop via proxy

Dica publicada em Linux / Software
Perfil removido removido
Hits: 6.082 Categoria: Linux Subcategoria: Software
  • Indicar
  • Impressora
  • Denunciar
O Viva o Linux depende da receita de anúncios para se manter. Ative os cookies aqui para nos patrocinar.
Não conseguimos carregar os anúncios. Se usa bloqueador, considere liberar o Viva o Linux para nos patrocinar.

Utilizar o Monodevelop via proxy

O MonoDevelop (ambiente de desenvolvimento Mono) não permite a configuração de um proxy através do sistema, o que causa travamentos quando da utilização do autocomplete.

Para possibilitar a utilização do mesmo sem maiores problemas, basta setar as variáveis de proxy do ambiente, para facilitar você pode criar um starter para o mono.

Execute o seguinte como root:

1. Crie um arquivo chamado "start_mono".

2. Coloque dentro dele o seguinte:

#!/bin/sh
export http_proxy='http://usuario:senha@host_proxy:porta_proxy'
export HTTP_PROXY='http://usuario:senha@host_proxy:porta_proxy'
export no_proxy='http://usuario:senha@host_proxy:porta_proxy'
export NO_PROXY='http://usuario:senha@host_proxy:porta_proxy'
monodevelop
O Viva o Linux depende da receita de anúncios para se manter. Ative os cookies aqui para nos patrocinar.
Não conseguimos carregar os anúncios. Se usa bloqueador, considere liberar o Viva o Linux para nos patrocinar.

3. Salve este arquivo e dê permissão de execução:

# chmod +x monodevelop

4. Mova o arquivo para:

/usr/bin/start_mono

E agora como usuário normal basta criar um atalho no desktop para "start_mono" que seu mono deverá ser iniciado e funcionar corretamente.

O Viva o Linux depende da receita de anúncios para se manter. Ative os cookies aqui para nos patrocinar.
Não conseguimos carregar os anúncios. Se usa bloqueador, considere liberar o Viva o Linux para nos patrocinar.

Compilando o kernel do Linux para outras arquiteturas de forma (muito) rápida

Gravando CD multisessão no K3B

Visualizando compartilhamentos samba com smb4k

Instalando USB Stick Formatter e USB Image Writer no Debian 10

Aplicativos feitos em GTK2 e Mono com visual ruim após usar o tema escuro no Ubuntu? Saiba como resolver

Instalando o Etcher no Debian 10 Buster

Instalando Google Chrome e Skype no Fedora 29

Tocando MP3 no XMMS

Nix Packages no Ubuntu ou outras distribuições

Linux.js - Um GNU/Linux disponível em qualquer lugar

Nenhum comentário foi encontrado.

Contribuir com comentário

Entre na sua conta para comentar.