Roteiro de instalação do PGADMIN3-1.8.0 no Kubuntu / Ubuntu 7.10 Gutsy

No Kubuntu / Ubuntu o pgadmin3 que vem é a versão 1.4.3, antiga.
Para compilar o pgadmi3-1.8.0, alguns outros pacotes devem ser instalados para evitar problemas de dependências.

Instalação do PGADMIN3-1.8.0 no Kubuntu /Ubuntu 7.10 Gutsy
http://www.pgadmin.org/

Baixe e descompacte o arquivo:
http://www.postgresql.org/ftp/pgadmin3/release/v1.8.0/src/pgadmin3-1.8.0.tar.gz

entre na pasta pgadmin3-1.8.0

Depois faça:

sudo aptitude install postgresql-server-dev-8.2 libwxgtk2.8-dev libxml2-dev libxslt-dev

sudo ./configure
sudo make
sudo make install

Para facilitar o acesso, pode-se criar um link para o 1.8.0 ([PATH] é o local onde a pasta pgadmin3-1.8.0 foi descompactada, por exemplo /home/user/):
ln -s [PATH]/pgadmin3-1.8.0/pgadmin/pgadmin3 /usr/bin/pgadmin3

Comentários

Postar um comentário

Postagens mais visitadas deste blog

OpenOffice Calc: converter texto em números ou data

Muitas vezes a planilha eletrônica Calc do OpenOffice (ou BrOffice) formata de forma arbitrária números ou datas como texto ao "salvar como" e mudar o tipo de arquivo, acrescentando um apóstrofe no início da célula e dificultando a formatação e utilização adequada das informações. Para corrigir isso: - Selecione as células desejadas ou toda a planilha (teclando CTRL + A) - Clique em EDITAR > LOCALIZAR E SUBSTITUIR (ou tecle CTRL+ F) - No campo de busca complete com .* - No campo para substituição complete com & - Clique no botão "MAIS" - Selecione a opção "EXPRESSÕES REGULARES" - E finalmente clique em "SUBSTITUIR TUDO". Esse comando vai fazer com que todos os campos possam ser editados e configurados conforme o tipo desejado, através do comando FORMATAR > CÉLULAS (ou CTRL + 1).
Leia mais

Converter em lote (batch) arquivos mp4 em mp3 usando o ffmpeg

Eu baixo muitos vídeos de música para deixar tocando nos churrascos aqui em casa. Então procurei uma solução fácil de convertê-los para atualizar o pendrive do carro. O Soundconverter (http://soundconverter.org/) é um aplicativo bem interessante, mas aqui em casa tive problema com dependências em função do meu Ubuntu ser 64 bits. Optei por uma solução manual, criando um script. No terminal, instalar o repositório e o ffmpeg: sudo add-apt-repository ppa:mc3man/trusty-media  sudo apt-get update  sudo apt-get install ffmpeg gstreamer0.10-ffmpeg  Criar o script: vi converte.sh  #!/bin/bash  for i in *.mp4  do  ffmpeg -i "$i" -ab 256k "${i%mp4}mp3"  done  Dar permissões de execução para ele: chmod +x converte.sh  Basta colocá-lo na pasta onde estão os arquivos mp4 e executá-lo que ele criará uma cópia dos mesmos em mp3: ./converte.sh
Leia mais