gnu: network-manager: Appease guix lint.

* gnu/packages/gnome.scm (network-manager)[home-page]: Use the permenant
redirect URL.
* gnu/packages/patches/nm-plugin-path.patch: Renamed to
'gnu/packages/patches/network-manager-plugin-path.patch'.
This commit is contained in:
Brice Waegeneire 2020-05-11 16:45:24 +02:00
parent 255ff74f3a
commit 8d0548fd34
No known key found for this signature in database
GPG key ID: A94903A166A18FAE
3 changed files with 3 additions and 3 deletions

View file

@ -1297,7 +1297,7 @@ dist_patch_DATA = \
%D%/packages/patches/netsurf-y2038-tests.patch \ %D%/packages/patches/netsurf-y2038-tests.patch \
%D%/packages/patches/netsurf-longer-test-timeout.patch \ %D%/packages/patches/netsurf-longer-test-timeout.patch \
%D%/packages/patches/ngircd-handle-zombies.patch \ %D%/packages/patches/ngircd-handle-zombies.patch \
%D%/packages/patches/nm-plugin-path.patch \ %D%/packages/patches/network-manager-plugin-path.patch \
%D%/packages/patches/nsis-env-passthru.patch \ %D%/packages/patches/nsis-env-passthru.patch \
%D%/packages/patches/nss-increase-test-timeout.patch \ %D%/packages/patches/nss-increase-test-timeout.patch \
%D%/packages/patches/nss-pkgconfig.patch \ %D%/packages/patches/nss-pkgconfig.patch \

View file

@ -6357,7 +6357,7 @@ (define-public network-manager
(uri (string-append "mirror://gnome/sources/NetworkManager/" (uri (string-append "mirror://gnome/sources/NetworkManager/"
(version-major+minor version) "/" (version-major+minor version) "/"
"NetworkManager-" version ".tar.xz")) "NetworkManager-" version ".tar.xz"))
(patches (search-patches "nm-plugin-path.patch")) (patches (search-patches "network-manager-plugin-path.patch"))
(sha256 (sha256
(base32 (base32
"06044fl60bjlj7c6rqqfbm5795h61h6yzp7ch392hzcnm46wwhn3")) "06044fl60bjlj7c6rqqfbm5795h61h6yzp7ch392hzcnm46wwhn3"))
@ -6493,7 +6493,7 @@ (define-public network-manager
("util-linux" ,util-linux) ("util-linux" ,util-linux)
("elogind" ,elogind))) ("elogind" ,elogind)))
(synopsis "Network connection manager") (synopsis "Network connection manager")
(home-page "https://www.gnome.org/projects/NetworkManager/") (home-page "https://wiki.gnome.org/Projects/NetworkManager")
(description (description
"NetworkManager is a system network service that manages your network "NetworkManager is a system network service that manages your network
devices and connections, attempting to keep active network connectivity when devices and connections, attempting to keep active network connectivity when