Boot up with an Fedora Live USB stick.
- Run
vgsto check if there's any space:
$ sudo vgs
VG #PV #LV #SN Attr VSize VFree
fedora 1 3 0 wz--n- <237.28g 0 | #!/bin/bash | |
| # Sometimes you need to move your existing git repository | |
| # to a new remote repository (/new remote origin). | |
| # Here are a simple and quick steps that does exactly this. | |
| # | |
| # Let's assume we call "old repo" the repository you wish | |
| # to move, and "new repo" the one you wish to move to. | |
| # | |
| ### Step 1. Make sure you have a local copy of all "old repo" | |
| ### branches and tags. |
| -- source: http://www.jamiebegin.com/base36-conversion-in-postgresql/ | |
| CREATE OR REPLACE FUNCTION base36_encode(IN digits bigint, IN min_width int = 0) | |
| RETURNS varchar AS $$ | |
| DECLARE | |
| chars char[]; | |
| ret varchar; | |
| val bigint; | |
| BEGIN | |
| chars := ARRAY['0','1','2','3','4','5','6','7','8','9' | |
| ,'A','B','C','D','E','F','G','H','I','J','K','L','M' |