首先不同网站,当然可以使用同一个邮箱,比如我的github,gitlab,bitbucket的账号都是monkeysuzie[at]gmail.com 这时候不用担心密钥的问题,因为这些网站push pull 认证的唯一性的是邮箱 比如我的windows 上 2个账号一个gitlab 一个github (用的都是id_rsa)
host github
hostname github.com
Port 22
host gitlab.zjut.com
If anyone is interested in setting up their system to automatically (or manually) sign their git commits with their GPG key, here are the steps:
$ git config --global commit.gpgsign true
([OPTIONAL] every commit will now be signed)$ git config --global user.signingkey ABCDEF01
(where ABCDEF01
is the fingerprint of the key to use)$ git config --global alias.logs "log --show-signature"
(now available as $ git logs
)$ git config --global alias.cis "commit -S"
(optional if global signing is false)$ echo "Some content" >> example.txt
$ git add example.txt
$ git cis -m "This commit is signed by a GPG key."
(regular commit
will work if global signing is enabled)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:
git clone --bare git@github.com:usi-systems/easytrace.git
Technical details for https://stackoverflow.com/a/44169445/6730571
On a base system, /usr/bin/java
is a symlink that points to /System/Library/Frameworks/JavaVM.framework/Versions/Current/Commands/java
, which is an Apple wrapper tool that locates and executes the actual java
.
(Do not touch anything in those 2 system directories. It should actually be impossible due to "System Integrity Protection" anyway.)
If you don't have Java installed, attempting to execute java
will open a dialog that invites you to install it.
#!/usr/bin/env bash | |
JDKS_DIR="/Library/Java/JavaVirtualMachines" | |
JDKS=( $(ls ${JDKS_DIR}) ) | |
JDKS_STATES=() | |
# Map state of JDK | |
for (( i = 0; i < ${#JDKS[@]}; i++ )); do | |
if [[ -f "${JDKS_DIR}/${JDKS[$i]}/Contents/Info.plist" ]]; then | |
JDKS_STATES[${i}]=enable |