114 reputation
27
bio website
location East Midlands
age 25
visits member for 2 years, 6 months
seen Feb 11 at 14:30

Developer interested in:

Internet Software Development.
Functional Programming.
OO Software Design and Development.
Data Structures and Algorithms.
Database Design and Implementation.
Rigorous Systems.
Computing, Ethics and Professional Practice.
Agile Practices (Development & Management).
ERP / MRP Systems.

Currently working with

C, Java, JSTL, XPATH, HTML, CSS, Android, Flex, 
Ruby, Scala and a few others...

Jan
31
comment sorry, you must have a tty to run sudo
+1 for solving the problem without needing to change any default settings.
Jan
31
comment can a locally executed script run commands on the remote server?
I see. Thanks for clearing that up fortunately the script will prompt you for the SSH password so the problems mitigated somewhat. I can see why using an SSH key to avoid this wouldn't be a wise idea.
Jan
30
comment can a locally executed script run commands on the remote server?
I'm not sure how there's any more risk in automating this and reducing the chance of human error (forgetting the --backup flag for example) than in the current workflow. Or is it the current work flow you consider risky?
Jul
8
comment Relocate Eclipse on Mac
From the install location I used 'cp -R eclipse/ /Applications' and it worked a treat. Thank you. I think I'd been missing the recursive option when trying previously
May
17
comment Configuring filezilla to run ftp over a home network
disabling the firewall for LAN connections worked, so I just need to re-enable it and configure an exception. Cheers.
May
17
comment Configuring filezilla to run ftp over a home network
sorry 192.168.0.3 is the lan ip address of the computer running filezilla server. It is pingable from the netbook.
Dec
18
comment The correct way to move /home to another partition on linux
I formatted the HDD and used the above bash commands when copying the directory to the new partition. so far its been ok. Thanks
Dec
16
comment The correct way to move /home to another partition on linux
its working ok for my account but not for the existing user accounts, I've deleted these (there was only 2) and recreated a new user and the problems appear to be the same
Dec
16
comment The correct way to move /home to another partition on linux
I'm sorry I actually did $cd /home/ $find . -depth -print0 | cpio --null --sparse -pvd /mnt/newhome/ I couldn't ind the page i referenced so went back through the terminal history and must have identified the wrong line, having moved to my PC i browsed back to the guide here