[ Main ] [ Home ] [ Work ] [ Code ] [ Rants ] [ Readings ] [ Links ] |
[2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] December November October September August July June May April March February January [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] |
[Sun Aug 4 18:09:39 CDT 2013]While checking the latest posts on Facebook, I came across this cool implementation of the Star Wars story in ASCII text: In order to see the whole story, simply enter the following at the terminal prompt: {link to this entry}$ telnet towel.blinkenlights.nl [Fri Aug 2 15:06:26 CDT 2013]A few days ago, I had to try and install the Android SDK on my laptop running Debian Wheezy, so I could play with it for a while and see if it would be possible to use it for a personal project. This document provides detailed information on how to install it all. It worked flawlessly for me. Basically, all you need to do is head for the Android SDK page, download the bits, install them, and then run the following from the command prompt (this is all assuming an x86_64 system, such as mine): As I said, it all worked flawlessly. {link to this entry}# dpkg --add-architecture i386 # aptitude update # aptitude install libstdc++6:i386 libgcc1:i386 zlib1g:i386 libncurses5:i386 # unzip adt-bundle-linux-x86_64-20130219.zip # cd adt-bundle-linux-x86_64-20130219/ # ./eclipse/eclipse [Thu Aug 1 16:50:18 CDT 2013]I just needed to find out if there was a way to configure the GNOME Terminal to default to a different size. A few other people also needed to do the same, judging from what I found while searching around. It's quite easy, actually. The answer is in the preferences, towards the bottom: You will have to check the box for "Use custom default terminal size", and then set the size you wish in columns and rows. Incidentally, I also tried to see if there is a way to specify where in the window the new GNOME Terminal sessions will open and, like in the case of the old xterm, it does appear to be possible. Try this, for example: Now I only have to find the personal configuration file where I can enter that information, so it will automatically take effect next time I open the terminal window. {link to this entry}gnome-terminal --geometry 80x42-550+0
|