Differences

This shows you the differences between two versions of the page.

--- fuss:safari [2014/12/25 22:15] – [List of Useful Extensions] office
+++ fuss:safari [2022/04/19 08:28] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
+====== Displaying Pages Faster ======
+<code bash>
+defaults write com.apple.Safari WebKitInitialTimedLayoutDelay 0.1
+defaults write com.apple.Safari WebKitResourceTimedLayoutDelay 0.1
+</code>
+====== Delete HTML Elements ======
+Useful, without AdBlock, to delete HTML elements such as banners and similar spam. This works for CSS too and is thus an excellent way to get rid of spam CSS curtains.
+{{fuss_safari_delete_html_elements.png?512}}
+The only drawback is that the changes you make to webpages do not persist across refreshes.
+====== Disable DNS Prefetching ======
+Safari from version 5.0.1 onward uses DNS prefetching. This feature can be turned off by issuing:
+<code bash>
+defaults write com.apple.safari WebKitDNSPrefetchingEnabled -boolean false
+</code>
+in a Terminal.
+====== List of Useful Extensions ======
+These extensions seem to be working (and integrating well in Safari 8) and are not bugged:
+  * [[https://adblockplus.org|Adblock Plus]], by Eyeo GmbG, to not be confused with the other one.
+  * [[https://www.ghostery.com/en/home|Ghostery]] for blocking trackers.
+  * [[https://agilebits.com|1Password]] to store passwords.
+  * [[http://canisbos.com/quicknuke|QuickNuke]] to remove annoying HTML elements.
+  * [[http://www.tastyapps.com/videobox/|Videobox]] to download video files.
+  * [[http://any-tech.ws/page-rank/|Page Rank]] to check the Google page rank on pages.