gputty

HomepageMembersTimelineGalleryDownloadBug reports
Back to the revision list Download file Permalink
GPuTTY installation notes
-------------------------
To install GPuTTY in /usr/local, just proceed this way:
$ make
[compiles and generates a whole lot of warnings]
$ make install
To install it in another path, use the PREFIX variable:
$ make install PREFIX=<destination_path>
If you want to remove debugging symbols and silly warnings, add the following
option (don't forget to complete a "make clean" before if some files have
already been compiled):
$ make CFLAGS="-O2 -D_GNU_SOURCE"