file.name.from.url: Extract the file name from some URL
Description
Gets a character of link to some file, and returns the name of the file in this link.
Usage
file.name.from.url(URL)
Arguments
URL
Some url to a file.
Value
The name of the file in the URL
Details
The install.packages.zip must use this function, since it is crucial that the name of the file into which the ZIPPED package is downloaded to the computer, will have the same name as the file which is online.