go back

Read the docs, read the logs, pet the dogs


Github

make a new project

cd <project>

git init

git add .

git commit -m "initial"

git branch -M main

git remote add origin https://github.com/<username>/<repo>

git push -u origin main


reset local to current online repo commit

git reset --hard HEAD


set username and email

git config --global user.name <Username>

git config --global user.email <you@email.com>

(use --local for repo-specific)


see current config

git config --show-origin user.name

git config --show-origin user.email


scientific research

semantic scholar
google scholar
elicit

graphic design

inkscape

photopea


code

codium

theme: rosé pine