RFC Reader

Simply making RFC and manual pages easier to read.

Was ist RFC Reader?

RFC Reader ist eine Chrome-Erweiterung, die von Joey L. entwickelt wurde, und ihr Hauptmerkmal ist "Simply making RFC and manual pages easier to read.".

Erweiterungsscreenshots

screenshot

RFC Reader-Erweiterungs-CRX-Datei herunterladen

Laden Sie RFC Reader-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.

Anleitung zur Verwendung der Erweiterung

                        Beautifies Internet Engineering Task Force (IETF) Request For Comments (RFCs) by applying a little TLC to the CSS.

Install this extension to automatically enhance IETF RFC pages.                    

Grundlegende Informationen zur Erweiterung

Name RFC Reader RFC Reader
ID amfbaiboeiifomfaepaedhkjcobnneik
Offizielle URL https://chromewebstore.google.com/detail/rfc-reader/amfbaiboeiifomfaepaedhkjcobnneik
Beschreibung Simply making RFC and manual pages easier to read.
Dateigröße 92.31 KB
Installationsanzahl 32
Aktuelle Version 1.0
Letztes Update 2019-06-09
Veröffentlichungsdatum 2019-06-08
Bewertung 5.00/5 Insgesamt 1 Bewertungen
Entwickler Joey L.
Zahlungsart free
Unterstützte Sprachen en-US
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "RFC Reader",
    "version": "1.0",
    "description": "Simply making RFC and manual pages easier to read.",
    "manifest_version": 2,
    "permissions": [
        "activeTab"
    ],
    "content_scripts": [
        {
            "matches": [
                "https:\/\/tools.ietf.org\/html\/*"
            ],
            "css": [
                "style_ietf.css"
            ]
        },
        {
            "matches": [
                "*:\/\/man7.org\/linux\/man-pages\/man*\/*.html"
            ],
            "css": [
                "style_man.css"
            ]
        }
    ],
    "icons": {
        "16": "icon_16.png",
        "32": "icon_16.png",
        "48": "icon_16.png",
        "128": "icon_16.png"
    }
}