quinta-feira, 23 de janeiro de 2014

Ferramentas e configurações que uso


Gnome Shell Extensions cpufreq, EasyScreenCast, system-monitor, Minimize all


Babylon para Linux goldendict.org

MathJax para fórmulas no blogspot.

PDFChain (para merge de arquivos PDF)

para merge com PDFs
gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=finished.pdf file1.pdf file2.pdf
para transformar o arquivo pdf em duas folhas por pagina
pdfnup arquivo.pdf

----------------------------------------------------------------------------------
Terminal
Terminology

dircolors-solarized
configuação: adicionado ao final do arquico .bashrc
eval `dircolors /home/marco/programas/dircolors-solarized/dircolors.ansi-universal`

Tilix


----------------------------------------------------------------------------------
Desabilitar login gráfico no Ubuntu (12.04)
sudo vim /etc/default/grub
Find out this line:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
Change it to:
GRUB_CMDLINE_LINUX_DEFAULT="text"
Update Grub: sudo update-grub

----------------------------------------------------------------------------------
Plugin Flash
Com o fim do suporte ao flash pela adobe, instalado Pepper Flash para usar no Chromium

(deb http://ftp.debian.org/debian/ wheezy-backports main contrib non-free)
sudo apt-get install pepperflashplugin-nonfree

(mais assim que eu for usando ou lembrando)

-----------------------------------------------------------------------------------
Fonte Mac no Linux
https://github.com/todylu/monaco.ttf

-----------------------------------------------------------------------------------
Monitorar serial no Linux
screen /dev/ttyUSB0 115200
para sair: CLTR+a seguido de :quit and pressing ENTER.

picocom /dev/ttyUSB0 -b115200
para sair C-A-x 

testar comando para ver dados enviado pela porta serial
(usado no post Conexao GPS)
stty -F /dev/ttyUSB0 ispeed 4800 && cat

Para enviar comandos AT (usado no post Teste com Hamlib)
picocom -b 9600 --omap crcrlf --echo /dev/ttyUSB0

 
-----------------------------------------------------------------------------------
Vim statusline
powerline
instalação, apt-get install powerline
configuração, adicionar em ~/.vimrc
set laststatus=2
set t_Co=256


[4/2020]
vim-airline
-----------------------------------------------------------------------------------
Player de Música no Console
mpd - servidor
ncmpc - cliente

configuração mpd segundo este link
http://crunchbang.org/forums/viewtopic.php?pid=182574

-----------------------------------------------------------------------------------
Tmux
CTRL+B             tecla padrão, antecede todas as demais
CTRL+B %         split horizontal
CTRL+B "           split vertical
CTRL+B setas    navega entre paineis

CTRL+B z          torna o painel full screen (zoom)
CTRL+B c          cria uma nova janela (janela 1)
CTRL+B num    vai para janela num 0, 1 ou n (primeira janela é a 0)

CTRL+B (hjkl) redimensiona os painéis, ver observação
CTRL+B d         dettach  (volta ao shell sem interromper os comandos)
$ tmux attach-session -t 0    retorna ao tmux (0 é o nome da sessão)
$ tmux ls             lista as sessões tmux ativas
$ tmux new -s [nome]          criar sessão
$ tmux attach -t [nome]
 

 
Obs.: criado o arquivo ~/.tmux.conf com o conteúdo
bind-key -r j resize-pane -D 5
bind-key -r k resize-pane -U 5
bind-key -r h resize-pane -L 5
bind-key -r l resize-pane -R 5

 

------------------------------------------------------------------------------------
Solarized
Para uso com Solarized no terminal gnome 
export TERM=screen-256color-bce

cores para o comando ls
usei o arquivo dircolors.ansi-universal
https://github.com/huyz/dircolors-solarized
 
----------------------------------------------------------------------------------- 
rcconf
sysv-rc-conf
overGrive 
para backup no google drive, comprado licensa, mas dá um erro na versão com debian8 com Mate 
provavelmente por conflito com python2.7 (requerido) e GTK3, ver erro parecido na linha 24 do 
arquivo /usr/bin/gnome-tweak-tool
sound-juicer para ripar CDs
mutt 
com arquivo de configuração em ~/.muttrc exemplo: silveiradesouza@gmail.com
ps ax | mutt -s "ps ax" email@gmail.com -a anexo  (a senha deve estar em .muttrc)
Diodon clipboard manager


 
-------------------------------------------------------------------------------------
gdrive
cliente linux do google drive
https://github.com/prasmussen/gdrive





chave de autnticação em ~/.gdrive/token_v2.json
o mesmo arquivo vale para todas as máquinas que irão acessar
instalado no servidor linode e notebook lenovo

exemplos
gdriver mkdir linode
para listar
gdrive list (a primiera vez vai gerar um código de autenticação)

upload de um arquivo para o diretorio linode (o codigo dos diretorios e arquivos é mostrado com o comando list
gdrive upload --parent 1eiJRGR6KYE10Whm0mXdOcooWJEmOALsm triangulos_amazon.tar.gz

para listar o codigo de um diretorio especifico
gdrive list -q "name contains 'ode'" 

-------------------------------------------------------------------------------------
vokoscreen
desktoprecord, para gravar os videos do desktop, usei no doutorado. Usado no Gnome Mate.
 
--------------------------------------------------------------------------------------
MATE desktop com temas Radiant instalados a mão pois não estão no repositório debian jessie
escolhido radiant-flat-graphite 
 
--------------------------------------------------------------------------------------
rclone outro cliente google drive 
rclone -v sync IFC remote:/backup/IFC
rclone -v sync Copy remote:/backup/Copy 

--------------------------------------------------------------------------------------
Notebook com Access Point
script create_ap
Exemplo
sudo ./create_ap wlp2s0 wlp2s0 MyAccessPoint 12345678
   
--------------------------------------------------------------------------------------
Meus Notebooks
HP Core i3 do IFC ... 
Lenovo de Março 2015 a Agosto de 2019 (4 anos 5 meses)- Intel Core i7-3612QM @ 2.10GHz - 6818 pontos
Dell Inspiron 15 3000, Agosto 2019 até o presente - Intel Core i7-8565U @ 1.80GHz - 8940 pontos
 
--------------------------------------------------------------------------------------
Jogo
Milpa

--------------------------------------------------------------------------------------
Conf Sevidor API
dpkg-reconfigure tzdata  (para timezone - default America/Sao_Paulo)
comando locale (saída: LANG=en_US.UTF-8)
setar time zone
timedatectl set-timezone America/Sao_Paulo
Alterar para pegar formato 24hs
localectl set-locale LANG=pt_BR.UTF-8

---------------------------------------------------------------------------------------
LANG=C chirpw
Preisão do tempo em linha de comando
curl wttr.in?format=3
precisa da fonte Nerd Fonts para emojis
Noto Color Emoji (fonts-noto-color-emoji)
provavelmente em .local/share/fonts/
depois fc-cache -fv
 
---------------------------------------------------------------------------------------
plugins Firefox
Firefox DevTools ADB Extension (?)
Simple Translate (Autor sienori)
uBlock Origin
Url Shortener 
----------------------------------------------------------------------------------------
Pedaleira zoom guitarra
para configurar software ToneLib-Zoom free para linux

----------------------------------------------------------------------------------------
montar sistema de arquivo remotamente com ssh
sudo sshfs -o allow_other marco@linode2: /home/marco/linode -p PORTA

domingo, 5 de janeiro de 2014

Resuminho Histórico do Cálculo Infinitesimal

Cálculo Infitesimal
Estuda a dependência em dois momento de uma variável y que seja função de outra variável x
  • descobre-se uma representação analítica y=f(x) que expresse esta dependência
  • a seguir se estuda as propredades desta função 

É dificil fazer isso diretamente, para tanto usa-se uma abordagem indireta em duas etapas:
  • etapa diferencial: Descobre-se relação entre a variação infinitesimal dx de x e a variação infinitesimal dy de y
  • etapa integral: obtém-se a expressão analítica de y = f( x ) a partir da relação entre dy e dx.


O sucesso dessa estratégia depende dos seguintes fatos:
  • como dx e dy são versões infinitesimais de x e y, na busca da expressão de dy em termos de dx podemos desprezar infinitésimos de ordem superior.
  • a existência de uma regra, descoberta por Barrow e chamada de Teorema Fundamental do Cálculo Integral, que permite-nos passar de dy/dx para y = y( x ).


Motivação
Com a divulgação dos escritos matemáticos de Archimedes na Europa (1550) aplicado a  áreas, volumes e centros de gravidade tem influência direta ao espírito renascentista Galileo (1620) o primeiro a abordar conceitos não considerados pelos gregos classicos: Cinemática, Dinâmica, Elasticidade. Newton celebra o poder do Cálculo Infinitesimal em o Philosophiae Naturalis Principia Mathematica (1687)


A construção dos alicerces do Cálculo Infinitesimal
  • Algebra Literal: antes dele se usava notação geométrica para resolução de equações, surgimento com o  trabalho de Viète


Fonte
http://euler.mat.ufrgs.br/~portosil/oque.html