nixos

1598 readers

1 users here now

founded 6 years ago

I regularly end up on the unofficial NixOS wiki (https://nixos.wiki ) instead of the official one (https://wiki.nixos.org ) when doing web searches. Today I to proomted out this little bookmarklet that (lemmy.ml)

submitted 2 weeks ago by mawkler@lemmy.ml to c/nixos@lemmy.ml

3 comments fedilink hide all child comments

I regularly end up on the unofficial NixOS wiki (https://nixos.wiki/) instead of the official one (https://wiki.nixos.org/) when doing web searches. Today I to proomted out this little bookmarklet that takes me from the unofficial to the official one:

javascript:(function(){window.location.href=window.location.href.replace('nixos.wiki','wiki.nixos.org');})()

A bookmarklet is a web browser bookmark that runs JavaScript instead of navigating you to a website. To use it, create a new bookmark in your web browser and paste the snippet above into the URL field. whenever you click the bookmark it will run the code.

Btw, I was trying to find a way to set something up that does this forwarding automatically for me but couldn't find one that doesn't involve installing a browser extension. If anyone knows how to do it "natively", please let me know.

top 3 comments

sorted by: hot top controversial new old

[–] turbowafflz@lemmy.world 3 points 2 weeks ago (1 children)

If you're using DuckDuckGo, you can also just add sites you don't want to see in your results to the block list. Other search engines may have a similar feature too

[–] saba 1 points 2 weeks ago

I run searxng locally and there is hostnames plugin ( https://docs.searxng.org/dev/plugins/hostnames.html ) to replace, remove or give high or low priority.

[–] caseyweederman@lemmy.ca 1 points 2 weeks ago

In Firefox and its forks, you can define "bookmark shortcuts". Usually short names for websites that act as commands that take you there. I have some three-letter shortcuts for different pages on the same domain that would otherwise lengthen into the wrong default page.
Bookmark a page, then open the bookmark in the bookmarks manager and set the shortcut property.
In your case you'd bookmark the official wiki and then set its shortcut to be the unofficial wiki's URL, so it would treat it as a shortcut to the correct one instead of an address to the incorrect one.