The ultimate browser extension for 42's Intranet, adding many improvements, such as dark mode, customizable profiles and much more!

Latest Version

Version
4.3.2
Update
October 2, 2024
Size
338KiB
Developer
Category
Users
8,000+
Rating
5 ★
Manifest Version
3
Web Store Status
Languages Support
English
Français
See more
Permissions
Storage
Scripting
See more

Improved Intra 42 Extension

A small list of well-liked and highly requested features added by this extension:
- Dark Theme! Finally, your eyes can rest when working at night.
- Customizable user profiles! Now you can show a bit of your personality through your user page: add a custom banner image to your profile, visible to everyone with the extension installed, or add a link to your GitHub-page and personal website.
- Stars next to projects rated \"Outstanding\" during evaluations! Finally, having an \"Outstanding Project\" flag means something.
- An option to use the old Black Hole countdown instead of showing one's absorption date.
- Removal of the broadcasts button, which is unused by most campuses.
- Sort finished projects on user profiles alphabetically, or by completion date.
- A beautiful settings page where you can select which options you wish to enable, with previews of what each feature can do.
- Omnibox search: write \"intra \" in the URL bar, add a login and surf to their profile directly.

This extension's code is open sourced on GitHub. In case you find something that does not appear to be working correctly (like light spots in dark mode), create an issue in the GitHub repository, or, even better; modify the code yourself and create a pull request. A guide on how to do this is available in the repository. Campuses may also add their own functionality, limited to their students.
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx","manifest_version": 3,"name": "__MSG_appName__","short_name": "__MSG_shortAppName__","version": "4.3.2","version_name": "4.3.2","description": "__MSG_appDesc__","default_locale": "en","icons": {"16": "images/logo16.png","32": "images/logo32.png","48": "images/logo48.png","64": "images/logo64.png","96": "images/logo96.png","128": "images/logo128.png","256": "images/logo256.png","512": "images/logo512.png"},"incognito": "spanning","options_page": "options/options.html","action": {"default_popup": "generic/popup/popup.html"},"permissions": ["storage", "scripting"],"host_permissions": ["https://iintra.freekb.es/*","https://*.intra.42.fr/*"],"web_accessible_resources": [{"resources": ["generic/inject.js","features/themes/apply.css","features/themes/light.css","features/themes/dark.css","features/themes/colors/cetus.css","features/themes/colors/green.css","features/themes/colors/pyxis.css","features/themes/colors/vela.css","features/themes/colors/windows.css","features/themes/colors/yellow.css","options/options.html"],"matches": [ "*://*.intra.42.fr/*", "*://iintra.freekb.es/*", "*://darkintra.freekb.es/*" ]}],"content_scripts": [{"matches": [ "*://*.intra.42.fr/*" ],"css": [ "generic/fonts.css", "fixes/improv.css", "fixes/animations.css", "features/themes/apply.css" ],"js": [ "generic/useful.js", "generic/console.js", "generic/lib/storage.js", "generic/lib/network.js", "generic/init.js", "features/themes/loader.js" ],"run_at": "document_start"},{"matches": [ "*://iintra.freekb.es/*" ],"js": [ "generic/useful.js", "generic/console.js", "generic/lib/storage.js", "generic/lib/network.js", "generic/init.js" ],"run_at": "document_start"},{"matches": [ "*://*.intra.42.fr/*" ],"js": [ "fixes/v3detector.js", "features/externalclustermap.js", "fixes/blackhole.js", "fixes/banners.js", "fixes/general.js", "fixes/optional.js", "fixes/improv.js" ],"run_at": "document_end"},{"matches": [ "*://profile.intra.42.fr/*", "*://projects.intra.42.fr/*", "*://elearning.intra.42.fr/*", "*://meta.intra.42.fr/*", "*://shop.intra.42.fr/*", "*://admin.intra.42.fr/*" ],"js": [ "options/sync.js" ],"run_at": "document_idle"},{"matches": [ "*://signin.intra.42.fr/users/sign_in" ],"js": [ "options/unsync.js" ],"run_at": "document_end"},{"matches": [ "*://iintra.freekb.es/*" ],"js": [ "options/auth2.js" ],"run_at": "document_end"},{"matches": [ "*://iintra.freekb.es/options.php*", "*://iintra.freekb.es/connect.php*" ],"js": [ "options/options.js" ],"run_at": "document_start"},{"matches": [ "*://iintra.freekb.es/v2/options/*" ],"js": [ "options/options2.js" ],"run_at": "document_end"},{"matches": [ "https://admin.intra.42.fr/*" ],"js": [ "features/admin.js" ],"run_at": "document_end"},{"matches": [ "*://profile.intra.42.fr/", "*://*.intra.42.fr/users/*" ],"exclude_matches": [ "*://signin.intra.42.fr/users/sign_in" ],"js": [ "features/profiles.js", "features/logtimes.js", "features/campus/codam/coa-titles.js" ],"run_at": "document_idle"},{"matches": [ "https://projects.intra.42.fr/*" ],"js": [ "features/projects.js" ],"run_at": "document_end"},{"matches": [ "https://meta.intra.42.fr/clusters", "https://meta.intra.42.fr/campus/*/clusters" ],"js": [ "features/clustermap.js" ],"run_at": "document_end"}],"background": {"service_worker": "sw.js"},"omnibox": {"keyword": "intra"}}
Read more

How to download and manually install Improved Intra 42 extension for Chrome

Looking for a way to install Improved Intra 42 extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install Improved Intra 42 extensions manually, this article outlines two simple methods to effortlessly install Improved Intra 42 extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download Improved Intra 42 extension and manually install through Drag &Drop

If you ever need to manually install a Improved Intra 42 extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the Improved Intra 42 Extension by clicking the "Download CRX" button on the website.

Look for the Improved Intra 42 extension you wish to install. Go to the website and download the Improved Intra 42 extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for Improved Intra 42 extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the Improved Intra 42 extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download Improved Intra 42 extension for Chrome and install in Developer Mode

This is another method to install Improved Intra 42 extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the Improved Intra 42 extension file

Select and download the Improved Intra 42 extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the Improved Intra 42 extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your Improved Intra 42 extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the Improved Intra 42 extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install Improved Intra 42 extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

ft_logtime Extension · Productivity 8,000+ 5 ★ 21.23KiB

icon

42 Logtime & Darkmode Extension · Developer Tools 8,000+ 2 ★ 45.75KiB

icon

42logtime Extension · Developer Tools 8,000+ 6 ★ 151KiB

icon

1337 log time Extension · Productivity 8,000+ 1 ★ 15.47KiB

icon

ft_blackhole Extension · Accessibility 8,000+ 2 ★ 36.07KiB

icon

Better Black Hole (42 Intra) Extension · Accessibility 8,000+ 11 ★ 23.83KiB

icon

BetterSearch Extension · Productivity 8,000+ 3 ★ 10.22KiB

icon

42Assistant Extension · Productivity 8,000+ 20 ★ 677KiB

icon

CalIntra Extension · Productivity 8,000+ 1 ★ 2.07MiB

icon

42 Profile Picture Extension · Developer Tools 8,000+ 10 ★ 37.35KiB

icon

42hours Extension · Accessibility 8,000+ 0 ★ 2.06MiB

icon

Redhole Extension · Productivity 8,000+ 0 ★ 30.57KiB

icon

intrafriends42 Extension · Social & Communication 8,000+ 5 ★ 12.73KiB

icon

Paced Extension Extension · Productivity 8,000+ 1 ★ 19.47KiB

icon

42 WhiteNova Lite Extension · Productivity 8,000+ 5 ★ 477KiB

icon

RickVision Extension · Fun 8,000+ 1 ★ 3.25KiB

icon

Intra-Hub Extension · Productivity 8,000+ 8 ★ 16.04MiB

icon

GNOME Shell integration Extension · Accessibility 8,000+ 321 ★ 143KiB

icon

daily.dev | The homepage developers deserve Extension · Developer Tools 8,000+ 2460 ★ 2.28MiB

icon

Sardalert Extension · Social & Communication 8,000+ 232 ★ 654KiB

icon

tldraw Extension · Productivity 8,000+ 0 ★ 260KiB

icon

ALX Intranet Extension · Productivity 8,000+ 24 ★ 148KiB

icon

Discord Blur Extension · Social & Communication 8,000+ 6 ★ 27.8KiB

icon

CG Local Extension · Developer Tools 8,000+ 3 ★ 16.31KiB

User reviews

icon

Duarte Flores (ID: 000000ee9ac0b16d) Voted 5 ★ - Updated 10/18/2023 So so so helpful!! Thank you ahah

icon

Jose Pérez (ID: 0000008c82ff7da3) Voted 5 ★ - Updated 08/30/2023 Indeed an improvement

icon

ΔᕈΞӾ (ID: 00000067a03cfe07) Voted 5 ★ - Updated 04/02/2023 could you maybe at more color or a color picker and remove the grey boxes infront of the picture / gif you put inside of your profile and the color of the bar didnt change

icon

Arthur Beznik (ID: 000000f175a30cc6) Voted 5 ★ - Updated 12/12/2022 Make intra great again

icon

W2 Wizard (ID: 0000002ea6763c4c) Voted 5 ★ - Updated 06/10/2022 Make intra actually usable.