Changeset View
Changeset View
Standalone View
Standalone View
x11/xscreensaver/files/patch-hacks__config__sonar.xml
--- hacks/config/sonar.xml.orig 2016-04-08 02:15:38 UTC | --- hacks/config/sonar.xml.orig 2022-09-04 19:45:48 UTC | ||||
+++ hacks/config/sonar.xml | +++ hacks/config/sonar.xml | ||||
manu: Where does this file comes from ? | |||||
Done Inline ActionsIt was there before, I just resolved the conflicts. As far as I can see, all it does is replace linux.com with freebsd.com in the list of hosts to be pinged, and add a hint in the description about using the SUID option in order to make pings work.... zirias: It was there before, I just resolved the conflicts. As far as I can see, all it does is replace… | |||||
Done Inline Actions.org of course ... zirias: .org of course ... | |||||
Done Inline ActionsI would be inclined to say that we should just drop this patch. manu: I would be inclined to say that we should just drop this patch. | |||||
Done Inline ActionsHm. I just double-checked. The list of hosts to ping is just branding, unfortunately not user-configurable, but still unnecessary. The hint about the port option, well, this "hack" already displays a message that it needs to be suid-root to actually ping, so users should easily figure what to do. All in all, I tend to agree here, patch be gone... zirias: Hm. I just double-checked. The list of hosts to ping is just branding, unfortunately not user… | |||||
@@ -31,7 +31,7 @@ | @@ -24,7 +24,7 @@ | ||||
arg-set="--ping /etc/hosts,$HOME/.ssh/known_hosts,$HOME/.ssh/known_hosts2"/> | |||||
<option id="ssh" _label="Ping known SSH hosts" arg-set="-ping /etc/hosts,$HOME/.ssh/known_hosts,$HOME/.ssh/known_hosts2"/> | <option id="popular" _label="Ping Google, Facebook, etc." | ||||
- arg-set="--ping google.com,facebook.com,twitter.com,yahoo.com,flickr.com,www.apple.com,wikipedia.org,linux.org,youtube.com,disqus.com,blogger.com,wordpress.com,tumblr.com,whitehouse.gov"/> | |||||
+ arg-set="--ping google.com,facebook.com,twitter.com,yahoo.com,flickr.com,www.apple.com,wikipedia.org,freebsd.org,youtube.com,disqus.com,blogger.com,wordpress.com,tumblr.com,whitehouse.gov"/> | |||||
- <option id="popular" _label="Ping Google, Facebook, etc." arg-set="-ping google.com,facebook.com,twitter.com,yahoo.com,flickr.com,www.apple.com,wikipedia.org,linux.org,youtube.com,disqus.com,blogger.com,wordpress.com,tumblr.com,whitehouse.gov"/> | <option id="sim" _label="Simulation (don't ping)" | ||||
+ <option id="popular" _label="Ping Google, Facebook, etc." arg-set="-ping google.com,facebook.com,twitter.com,yahoo.com,flickr.com,www.apple.com,wikipedia.org,freebsd.org,youtube.com,disqus.com,blogger.com,wordpress.com,tumblr.com,whitehouse.gov"/> | arg-set="--ping simulation"/> | ||||
@@ -72,6 +72,8 @@ The three rings represent ping times of approximately | |||||
milliseconds respectively. | |||||
<option id="sim" _label="Simulation (don't ping)" arg-set="-ping simulation"/> | |||||
</select> | |||||
@@ -78,6 +78,8 @@ respectively. | |||||
Alternately, it can run a simulation that doesn't involve hosts. | Alternately, it can run a simulation that doesn't involve hosts. | ||||
+To ping, use the port build option to install this suid. | |||||
+ | + | ||||
+To ping, use the port build option to install this suid. | |||||
https://en.wikipedia.org/wiki/Ping#History | https://en.wikipedia.org/wiki/Ping#History | ||||
Written by Jamie Zawinski and Stephen Martin; 1998. |
Where does this file comes from ?