Sejamos francos: ao trabalhar com repositórios Git, especialmente no GitHub, depois de algum tempo começamos a achar que perder tempo digitando o usuário e a senha a cada push é inaceitável. Principalmente se trabalhamos com commits freqüentes: Se, ao realizar um push, você precisa digitar usuário/senha como na ilustração acima, verifique a configuração de seu […]
Categoria: Desenvolvimento
Categorias
gitignore.io
Uma das primeiras tarefas ao criar um repositório Git é definir quais arquivos serão ignorados e não estarão sob o controle de versão. Isso é feito através de um arquivo especial, o .gitignore. Quem utiliza o GitHub pode contar com uma pequena ajuda, no momento da criação de um repositório, pois o GitHub permite adicionar […]
Lembrete rápido para minhas configurações básicas do Git, no Linux, para usar a linha de comando com eficiência: git config –global user.name “Abrantes Araújo Silva Filho” git config –global user.email “abrantesasf@gmail.com” git config –global core.editor “emacs26 -nw” git config –global push.default “simple” Os dois primeiros comandos apenas ajustam meu nome e e-mail. O terceiro comando […]
Meu notebook Ubuntu 16, atualmente, roda a versão 5.5 do GCC: gcc –version gcc (Ubuntu 5.5.0-12ubuntu1~16.04) 5.5.0 20171010 Copyright (C) 2015 Free Software Foundation, Inc. De acordo com o site oficial do GCC, the GNU Compiler Collection, as versões mais novas (e com as útlimas features do compilador) são a 9.2 e a 8.3. Infelizmente […]
Para papel A4 na maioria das impressoras laser de hoje em dia, que tem margem de impressão menor do que 1cm, usar as seguintes configurações nos relatório do Oracle Reports 6i: Modo Retrato: Margem esquerda: 1 cm Margem direita: 20 cm Margem superior: varia com o cabeçalho – manter cabeçalho abaixo dos 5 mm Margem […]