(English) How to use git stash effectively

Désolé, cet article est seulement disponible en English.

How to manage multiple AWS keys on localhost

To manage multiple AWS keys on localhost, configure multiple profiles in the AWS CLI using the ~/.aws/config and ~/.aws/credentials files. Obtain Access Keys:Navigate to the AWS Management Console and create…

How to use the curl command to make DNS queries and resolve domains

curl –resolve

How to force DNS lookup domains

$ nslookup dmscambs.co.uk 8.8.8.8$ nslookup dmscambs.co.uk$ curl -i www.dmscambs.co.uk$ curl -vvv www.biomodels.co.uk

AWS CLI Cheat Sheet

ssss

Move a subdirectory into a new git repository

Context In the real world, we may probably have a large Git repository where you want to move out some sub-directories into single Git repositories. Regarding the Git repository, we…

How to automatically delete a Docker container after running it

Normally, a Docker container persists after it has exited. This allows you to run the container again, inspect its filesystem, and so on. However, sometimes you want to run a…

(English) Create or update a commit by a specified author

Désolé, cet article est seulement disponible en English.

(English) Create an empty commit

(English) When updating a submission, a new revision will be created to capture the updates and a commit will also be created. However, some updates don’t change the files coming alongside the submission but edited some metadata on that submission/dataset. In this case, an empty commit is created to match the newly created version.

(English) kubebox

Désolé, cet article est seulement disponible en English.