maemo.org - Talk

maemo.org - Talk (https://talk.maemo.org/index.php)
-   Nokia N900 (https://talk.maemo.org/forumdisplay.php?f=44)
-   -   how to remove files from /home/user...? (https://talk.maemo.org/showthread.php?t=51004)

Mengs 2010-04-25 17:51

how to remove files from /home/user...?
 
Hey guys...

I used 7z without being too knowledgeable on how to use it and accidentally unzipped a file to to /home/user and now I have no idea how access it through x terminal or anything else... Could someone please instruct me how to get the file deleted?

Thanks

Joorin 2010-04-25 17:56

Re: how to remove files from /home/user...?
 
If you open the XTerminal, you're in /home/user. To see all files do
Code:

ls -al
To remove a specific file do
Code:

rm <filename>
without the brackets.

hofman 2010-04-25 17:59

Re: how to remove files from /home/user...?
 
Download from extras-devel mc(Midnight Commander)
Type to x term sudo gainroot, then type mc and you can get into home/user

Mengs 2010-04-25 18:00

Re: how to remove files from /home/user...?
 
Thanks!

=)

Vaskinn 2010-04-25 18:07

Re: how to remove files from /home/user...?
 
Be aware that rm (short for ReMove, makes it easier to remember) comes with the safety off:

- You will not be prevented from deleting important files if you have the filesystem permissions.
- There is no garbage can, once it's deleted it can't be easily recovered, if at all.
- Be careful if the filename includes spaces of special characters especially "*". If you try to delete a file named "copy of important.txt" you'll easily end up trying to delete three files, called "copy" "of" and "important.txt" and it will delete "important.txt" even if it can't find the others.

j.s 2010-04-25 18:28

Re: how to remove files from /home/user...?
 
Quote:

Originally Posted by Vaskinn (Post 627218)
Be aware that rm (short for ReMove, makes it easier to remember) comes with the safety off:

- You will not be prevented from deleting important files if you have the filesystem permissions.
- There is no garbage can, once it's deleted it can't be easily recovered, if at all.
- Be careful if the filename includes spaces of special characters especially "*". If you try to delete a file named "copy of important.txt" you'll easily end up trying to delete three files, called "copy" "of" and "important.txt" and it will delete "important.txt" even if it can't find the others.

Which is just one of the reasons why special characters in filenames, especially delimiters such as white space, is a very bad idea.

Others are that the output of ls is messed up and various legacy scripts get broken, and new scripts by new programmers who have not yet learned all the ins and outs of programming.


All times are GMT. The time now is 11:58.

vBulletin® Version 3.8.8