Skip to content
View ivan's full-sized avatar
🕸️
🕸️
200 followers · 765 following

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3
BetaSend feedback

Organizations

@ludios @NixOS @ludiosarchive @machine-manager
Block or Report

Block or report ivan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. ludios/unbook ludios/unbook Public

    ebook → self-contained HTML; an {epub, mobi, azw, azw3, lit, chm} converter that outputs a single HTML file with images inlined as data: URIs

    HTML 16

  2. ludios/expand-everything ludios/expand-everything Public

    A userscript to click "show more" links to expand all the text on a page, without slowing things down too much

    JavaScript 82 1

  3. ludios/useful-bookmarklets ludios/useful-bookmarklets Public

    Bookmarklets which I use frequently

    8

  4. ArchiveTeam/grab-site ArchiveTeam/grab-site Public

    The archivist's web crawler: WARC output, dashboard for all crawls, dynamic ignore patterns

    Python 1.3k 121

  5. zshrc zshrc
    1 
    #!/bin/zsh
    2 
    # This is meant to be sourced; shebang line is for editors
    3 
    
              
    
              
    
                4
                
    umask 027
    
              
    
              
    
                5
                
    
              
    
          
    
    
    
  
    

    6. 

      

  6. 
  
    
    
    
      
    
        
        
          Userscript to fix Discord styles and...
Userscript to fix Discord styles and replace server icons in the sidebar with text labels      
    

          
    
              
    
                1
                
    // ==UserScript==
    
              
    
              
    
                2
                
    // @name        Discord: Fix styles
    
              
    
              
    
                3
                
    // @namespace   discord_styles
    
              
    
              
    
                4
                
    // @include     *://discord.com/*
    
              
    
              
    
                5
                
    // @version     1
    
              
    
          
    
    
    
  
    

    7.