English (United States)
See more
A browser extension to generate nbgitpuller (http://jupyterhub.github.io/nbgitpullerbgitpuller) links directly from GitHub
Latest Version
Version
3.0
Update
November 17, 2023
Size
82.08KiB
Developer
Category
Users
406 
Rating
4.33333 ★
Manifest Version
3
Web Store Status
Extension ID
Languages Support
Permissions
Tabs
See more
nbgitpuller Link generator Extension
A browser extension to help you generate [nbgitpuller](https://jupyterhub.github.io/nbgitpuller/)
links directly from GitHub.
On the GitHub page for files, folders and repositories, it adds an
'nbgitpuller' button to the browser bar.
On clicking this, you can enter a JupyterHub URL and the application
you want to use to open this file, folder or repository. Then you
can just copy the nbgitpuller URL, and share it with your students!
The JupyterHub URL and application you choose are remembered, so
you do not need to enter it over and over again.
Read more
links directly from GitHub.
On the GitHub page for files, folders and repositories, it adds an
'nbgitpuller' button to the browser bar.
On clicking this, you can enter a JupyterHub URL and the application
you want to use to open this file, folder or repository. Then you
can just copy the nbgitpuller URL, and share it with your students!
The JupyterHub URL and application you choose are remembered, so
you do not need to enter it over and over again.
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx",\t"manifest_version": 3,\t"name": "nbgitpuller Link generator",\t"version": "3.0",\t"description": "A browser extension to generate nbgitpuller (http://jupyterhub.github.io/nbgitpullerbgitpuller) links directly from GitHub",\t"permissions": [\t\t"tabs"\t],\t"background": {\t\t"service_worker": "background.js"\t},\t"action": {\t\t"default_icon": {\t\t\t"32": "icon_32.png"\t\t},\t\t"default_title": "Generate nbgitpuller link",\t\t"default_popup": "popup.html"\t}}
Read more
Latest Updates
Top Rated
Hola VPN - Your Website Unblocker
Adblock for Youtube™
AdBlock — block ads across the web
Video Downloader Professional
Adblock Plus - free ad blocker
Stands AdBlocker
Evernote Web Clipper
Argent X - Starknet Wallet
Touch VPN - Secure and unlimited VPN proxy
Pop up blocker for Chrome™ - Poper Blocker