Merge pull request #1842 from H3rnand3zzz/feature/plugins-download

New Feature: Plugins Download
This commit is contained in:
Michael Vetter
2023-06-06 18:35:18 +02:00
committed by GitHub
14 changed files with 327 additions and 112 deletions

View File

@@ -542,7 +542,7 @@ _has_directory_suffix(const char* path)
}
char*
_basename_from_url(const char* url)
basename_from_url(const char* url)
{
const char* default_name = "index";
@@ -591,7 +591,7 @@ unique_filename_from_url(const char* url, const char* path)
if (_has_directory_suffix(realpath) || g_file_test(realpath, G_FILE_TEST_IS_DIR)) {
// The target should be used as a directory. Assume that the basename
// should be derived from the URL.
char* basename = _basename_from_url(url);
char* basename = basename_from_url(url);
filename = g_build_filename(g_file_peek_path(target), basename, NULL);
g_free(basename);
} else {