Differences
This shows you the differences between the selected revisions of the page.
| 2008-03-31 | 2008-06-09 | ||
| note built in examples (martin) | suggest copy to clipboard for url address (martin) | ||
| Line 38: | Line 38: | ||
| * Note that the above should be entered as one line! | * 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. | + | * Do not forget to check custom command option //Show results in terminal// or //Copy results to clipboard//, otherwise you will not get 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). | * 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`'%%''. | * 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`'%%''. | ||