{"lastUpload":"2022-01-03T18:32:54.369Z","extensionVersion":"v3.4.3"} |
selected_scheme scheme-custom | |
TEXDIR /opt/texlive/2018 | |
TEXMFCONFIG ~/.config/texlive2018/texmf-config | |
TEXMFHOME ~/texmf | |
TEXMFLOCAL /opt/texlive/texmf-local | |
TEXMFSYSCONFIG /opt/texlive/2018/texmf-config | |
TEXMFSYSVAR /opt/texlive/2018/texmf-var | |
TEXMFVAR ~/.config/texlive2018/texmf-var | |
binary_x86_64-linux 1 | |
collection-basic 1 |
set smoothscroll | |
set completeonopen | |
set cncpcompletion | |
set autohidecursor | |
set showtabindices | |
set autoupdategist | |
let scrollstep = 100 | |
let barposition = "bottom" |
#!/bin/bash | |
# | |
# Simple command to knit rmarkdown documents via a make command in directories | |
# found using pattern matching | |
############################################################################### | |
# Global parameters | |
############################################################################### | |
readonly args="${@:1}" |
#ifdef _WIN32 | |
#include <malloc.h> | |
#endif | |
#include <cstdint> | |
#include <vector> | |
#include <iostream> | |
/** | |
* Allocator for aligned data. |
You need to take some extra care when attempting to mirror a repo containing Git LFS data. This thread discusses some of the steps you can take when attempting to do so. If you've already pushed to the mirror, but the Git LFS data itself did not upload, then the following command will work:
git lfs push --all origin
This is assuming that you're pushing to origin
. If instead the mirror is named remote
or mirror
, use that instead.
-
Verify that you have an up-to-date version of R. In your Console window, run:
R.version
Look at the output to the right of
version.string
. It should say something likeR version 3.4.1
. The first two numbers are most important, if it says3.2.x
or3.3.x
(the value inx
doesn't matter) then the R installation should be updated. You can update it with theinstallr
package. If you do not haveinstallr
available, run:
# Assume we are in your home directory | |
cd ~/ | |
# Clone the repo from GitLab using the `--mirror` option | |
$ git clone --mirror git@your-gitlab-site.com: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. |