This is an old revision of the document!
Useful Custom Commands
Advertisement
Archiving
tar -xvzf --directory="!?&Extract to which directory:?.!" "!"
tar -czvf "!?&Enter an Archive Name:?archive.tgz!" --exclude="!?&Exclude files matching pattern:?*.exe!" "!?&Specify directory or file to compress:?!"
unzip "!"
Quick Deleting
Use following command to quickly delete large directory structures:
rm -f -r "!"
Changing Ownership
Use following command if current protocol does not allow changing ownership:
chgrp?New group:?!" !&
Advertisement
To change owner use chown
instead of chgrp
.
URL Address of Selected File
Example shows how to launch simple PHP script that maps file path to URL.
echo '<?="http://www.example.com". str_replace("home/user/public_html", "~user", "'`pwd`'"). "/!\n"?>' | php -q
Hints:
- Note that the above should be entered as one line!
- Do not forget to check custom command option Show results in terminal, otherwise you will not see the results. You may also want to use the command for directories, check Apply to directories too.
- For your particular use, just replace
http://www.example.com
with right URL prefix,home/user/public_html
with right path prefix and~user
with right URL replacement (it can even be empty in some cases). - If you do mapping like above, i.e. for server containing multiple user’s homepages, you can make it universal by replacing
user
with'`whoami`'
.
Templates
cp /path/to/template.html "!?&New HTML file:?!"