Download Latest Version pinguino-libraries.zip (4.9 MB)
Email in envelope

Get an email when there's a new version of Pinguino IDE

Home / linux
Name Modified Size InfoDownloads / Week
Parent folder
testing 2018-04-03
stable 2016-08-16
pinguino-linux64-sdcc-mpic16.deb 2017-02-09 11.3 MB
pinguino-linux64-sdcc-mpic16.tar.lzma 2017-02-09 11.8 MB
pinguino-linux32-sdcc-mpic16.deb 2016-04-02 4.2 MB
pinguino-linux32-sdcc-mpic16.tar.lzma 2016-04-02 4.2 MB
pinguino-linux64-gcc-mips-elf.deb 2016-03-14 21.3 MB
pinguino-linux64-gcc-mips-elf.tar.lzma 2016-03-14 19.8 MB
pinguino-linux32-gcc-mips-elf.deb 2016-03-14 22.0 MB
pinguino-linux32-gcc-mips-elf.tar.lzma 2016-03-14 20.4 MB
xc8-v1.36-full-install-linux-installer.run 2016-03-14 83.3 MB
README.md 2016-03-11 900 Bytes
pinguino-linuxRPi-sdcc-mpic16.tar.lzma 2014-06-26 3.5 MB
pinguino-linuxRPi-sdcc-mpic16.deb 2014-06-26 17.3 MB
Totals: 14 Items   219.1 MB 2

How to install Pinguino IDE ?

1/ Go to www.pinguino.cc/download/php, download and save installer.sh where you want on your computer.

2/ Make it executable : sudo chmod +x installer.sh

3/ Run it : ./installer.sh

4/ Click on the Pinguino icon (should be in Education, Development and Electronics sub-menu).

5/ That's it. Enjoy !

Issues ?

Please report issues at https://github.com/PinguinoIDE/pinguino-packages/issues

or rblanchot@pinguino.cc

How to install a debian package ?

1/ Download and save the deb. package you want

2/ sudo dpkg -i package.deb

sudo apt-get install -f

or

sudo gdebi package.deb

If you don't have gdebi : sudo apt-get install gdebi-core

How to convert a .deb to .rpm package ?

1/ Download alien with your favorite package manager

2/ sudo alien --to-rpm --scripts package.deb

Source: README.md, updated 2016-03-11