System: Debian/Ubuntu/Fedora. Might work for others as well.
As mentioned here, to update a go version you will first need to uninstall the original version.
To uninstall, delete the /usr/local/go
directory by:
System: Debian/Ubuntu/Fedora. Might work for others as well.
As mentioned here, to update a go version you will first need to uninstall the original version.
To uninstall, delete the /usr/local/go
directory by:
<?php | |
//default time zone | |
date_default_timezone_set("Asia/Jakarta"); | |
//fungsi check tanggal merah | |
function tanggalMerah($value) { | |
$array = json_decode(file_get_contents("https://raw.githubusercontent.com/guangrei/APIHariLibur_V2/main/calendar.json"),true); | |
//check tanggal merah berdasarkan libur nasional | |
if(isset($array[$value]) && $array[$value]["holiday"]) | |
: echo"tanggal merah\n"; |
/** | |
* Print Stylesheet fuer Deinewebsite.de | |
* @version 1.0 | |
* @lastmodified 16.06.2016 | |
*/ | |
@media print { | |
/* Inhaltsbreite setzen, Floats und Margins aufheben */ | |
/* Achtung: Die Klassen und IDs variieren von Theme zu Theme. Hier also eigene Klassen setzen */ |
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}
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:
import java.io.File; | |
import java.io.FileNotFoundException; | |
import java.util.PriorityQueue; | |
import java.util.Scanner; | |
import java.util.TreeMap; | |
/* Huffman coding , decoding */ | |
public class Huffman { | |
static final boolean readFromFile = false; |
<?php | |
function json_response($code = 200, $message = null) | |
{ | |
// clear the old headers | |
header_remove(); | |
// set the actual code | |
http_response_code($code); | |
// set the header to make sure cache is forced | |
header("Cache-Control: no-transform,public,max-age=300,s-maxage=900"); |
# Assume we are in your home directory | |
cd ~/ | |
# Clone the repo from GitLab using the `--mirror` option | |
$ git clone --mirror [email protected]:mario/my-repo.git | |
# Change into newly created repo directory | |
$ cd ~/my-repo.git | |
# Push to GitHub using the `--mirror` option. The `--no-verify` option skips any hooks. |