Skip to content

Instantly share code, notes, and snippets.

View stopyoukid's full-sized avatar

David Tittsworth stopyoukid

28 followers · 0 following
View GitHub Profile
@stopyoukid
stopyoukid / private_fork.md
Created December 3, 2023 17:02 — forked from 0xjac/private_fork.md
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.) 
    

    2. 



git clone --bare git@github.com:usi-systems/easytrace.git



  


  




    


          
    

      

        
        

          

              @stopyoukid
          

          

            
                stopyoukid
                / pathadd.sh
            
            

              Created
              October 6, 2015 20:12
            

          

        

      

        

  

    
    


        



  


  

        

          
          pathadd() {
        

        

          
              echo "$1"
        

        

          
              if [ -d "$1" ]; then
        

        

          
                   if [ ":$PATH:" != *":$1:"* ]; then
        

        

          
                      echo "export PATH=\"\$PATH:$1\"" >> ~/.bashrc
        

        

          
                      source ~/.bashrc
        

        

          
                   else
        

        

          
                      echo "$1 is already in the path"
        

        

          
                   fi
        

        

          
              else
        

  





    


  




    


          
    

      

        
        

          

              @stopyoukid
          

          

            
                stopyoukid
                / diff2html.sh
            
            

              Last active
              March 11, 2024 19:57
            

              
                Script that takes a git diff and outputs an html file in GitHub style
              
          

        

      

        

  

    
    


        



  


  

        

          
          #!/bin/bash
        

        

          
          #
        

        

          
          # Convert diff output to colorized HTML.
        

        

          
          # (C) Mitch Frazier, 2008-08-27
        

        

          
          # http://www.linuxjournal.com/content/convert-diff-output-colorized-html
        

        

          
          # Modified by stopyoukid
        

        

          
          #
        

        

          
           
        

        

          
          html="<html><head><meta charset=\"utf-8\"><title>Pretty Diff</title><style>body {text-align: center;}#wrapper {display: inline-block;margin-top: 1em;min-width: 800px;text-align: left;}h2 {background: #fafafa;background: -moz-linear-gradient(#fafafa, #eaeaea);background: -webkit-linear-gradient(#fafafa, #eaeaea);-ms-filter: \"progid:DXImageTransform.Microsoft.gradient(startColorstr='#fafafa',endColorstr='#eaeaea')\";border: 1px solid #d8d8d8;border-bottom: 0;color: #555;font: 14px sans-serif;overflow: hidden;padding: 10px 6px;text-shadow: 0 1px 0 white;margin: 0;}.file-diff {border: 1px solid #d8d8d8;margin-bottom: 1em;overflow: auto;padding: 0.5em 0;}.file-diff > div {width: 100%:}pre {margin: 0;font-family: \"Bitstream Vera Sans Mono\", Courier, monospace;font-size: 12px;line-height: 1.4em;text-indent: 0.5em;}.file {color: