Adam Sherif MrKioZ

## revert-a-commit.md

      
              1 file
            
          
              161 forks
            
          
              153 comments
            
          
              744 stars
            
          
                gunjanpatel
                / revert-a-commit.md
            
            
              Last active
              April 18, 2024 11:56
            
              
                Git HowTo: revert a commit already pushed to a remote repository
              
          
    Revert the full commit

Sometimes you may want to undo a whole commit with all changes. Instead of going through all the changes manually, you can simply tell git to revert a commit, which does not even have to be the last one. Reverting a commit means to create a new commit that undoes all changes that were made in the bad commit. Just like above, the bad commit remains there, but it no longer affects the the current master and any future commits on top of it.
git revert {commit_id}

About History Rewriting

Delete the last commit

Deleting the last commit is the easiest case. Let's say we have a remote origin with branch master that currently points to commit dd61ab32. We want to remove the top commit. Translated to git terminology, we want to force the master branch of the origin remote repository to the parent of dd61ab32:

  
## shared_folder_centos_virtualbox.txt
# The VirtualBox documentation[1] for how to install guest additions
# for Linux on a virtual host is somewhat messy. So here is what
# I did to make it work.

# Install the packages required
yum update
yum install gcc kernel-devel make

reboot

## ubuntu-server-django-guide.rst

      
              1 file
            
          
              13 forks
            
          
              4 comments
            
          
              43 stars
            
          
                epicserve
                / ubuntu-server-django-guide.rst
            
            
              Last active
              June 9, 2023 00:38
            
              
                Ubuntu Server Setup Guide for Django Websites
              
          
    Ubuntu Server Setup Guide for Django Websites

This guide is has moved to https://epicserve-docs.readthedocs.org/en/latest/django/ubuntu-server-django-guide.html.

  
## create_django_session.py
from django.contrib import auth
from django.contrib.sessions.backends.db import SessionStore

session = SessionStore(None)
session.clear()
session.cycle_key()
session[auth.SESSION_KEY] = user._meta.pk.value_to_string(user)
session[auth.BACKEND_SESSION_KEY] = 'django.contrib.auth.backends.ModelBackend'
session[auth.HASH_SESSION_KEY] = user.get_session_auth_hash()
session.save()

## matrix.py
import pygame, pygame.font
import random


def IsWritten():
    defTemp = True
    for x in xrange((lettersOnScreen[0] / 2) - (len(str) / 2), (lettersOnScreen[0] / 2) + (len(str) / 2) + 1):
        if xHeads[x] == -1:
            defTemp = False
    return defTemp

## calc.py
"""
exp ::= term  | exp + term | exp - term
term ::= factor | factor * term | factor / term
factor ::= number | ( exp )
"""

class Calculator():
    def __init__(self, tokens):
        self._tokens = tokens
        self._current = tokens[0]

## detect-dark-mode.js
if (window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches) {
    // dark mode
}


// to watch for changes:
window.matchMedia('(prefers-color-scheme: dark)').addListener(function (e) {
  console.log(`changed to ${e.matches ? "dark" : "light"} mode`)
});

## Simple CSS
<!DOCTYPE html>
<html>
    <title>Internet Jobs</title>
    <style type="text/css">

        ::selection {
        background: #ffb7b7; /* WebKit/Blink Browsers */
        }
        ::-moz-selection {
        background: #ffb7b7; /* Gecko Browsers */
	# The VirtualBox documentation[1] for how to install guest additions
	# for Linux on a virtual host is somewhat messy. So here is what
	# I did to make it work.

	# Install the packages required
	yum update
	yum install gcc kernel-devel make

	reboot
	from django.contrib import auth
	from django.contrib.sessions.backends.db import SessionStore

	session = SessionStore(None)
	session.clear()
	session.cycle_key()
	session[auth.SESSION_KEY] = user._meta.pk.value_to_string(user)
	session[auth.BACKEND_SESSION_KEY] = 'django.contrib.auth.backends.ModelBackend'
	session[auth.HASH_SESSION_KEY] = user.get_session_auth_hash()
	session.save()
	import pygame, pygame.font
	import random


	def IsWritten():
	defTemp = True
	for x in xrange((lettersOnScreen[0] / 2) - (len(str) / 2), (lettersOnScreen[0] / 2) + (len(str) / 2) + 1):
	if xHeads[x] == -1:
	defTemp = False
	return defTemp
	"""
	exp ::= term \| exp + term \| exp - term
	term ::= factor \| factor * term \| factor / term
	factor ::= number \| ( exp )
	"""

	class Calculator():
	def __init__(self, tokens):
	self._tokens = tokens
	self._current = tokens[0]
	if (window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches) {
	// dark mode
	}


	// to watch for changes:
	window.matchMedia('(prefers-color-scheme: dark)').addListener(function (e) {
	console.log(`changed to ${e.matches ? "dark" : "light"} mode`)
	});
	<!DOCTYPE html>
	<html>
	<title>Internet Jobs</title>
	<style type="text/css">

	::selection {
	background: #ffb7b7; /* WebKit/Blink Browsers */
	}
	::-moz-selection {
	background: #ffb7b7; /* Gecko Browsers */