search

coding-to-music / coding-to-music.github.io

https://pandemic-overview.readthedocs.io/en/latest/index.html
MIT License
2 stars 8 forks source link

dotfiles into containers #6

Open coding-to-music opened 3 years ago

coding-to-music commented 3 years ago

https://github.com/coding-to-music/bash_aliases_docker_alias_cheat_sheet/blob/master/.devcontainer/devcontainer.json

https://github.com/coding-to-music/bash_aliases_docker_alias_cheat_sheet/blob/master/.devcontainer/Dockerfile

http://dotfiles.github.io/bootstrap/

https://github.com/dotphiles/dotphiles

https://github.com/dotphiles/dotsync

coding-to-music commented 3 years ago

https://stackoverflow.com/questions/52819584/copying-local-git-config-into-docker-container

coding-to-music commented 3 years ago

https://code.visualstudio.com/docs/remote/containers#_container-specific-settings

https://code.visualstudio.com/docs/remote/troubleshooting#_using-rsync-to-maintain-a-local-copy-of-your-source-code

https://www.tutorialspoint.com/installing-linux-packages-inside-a-docker-container

https://stackoverflow.com/questions/45181713/how-can-i-add-software-or-other-packages-to-a-docker-container

https://www.tutorialspoint.com/installing-linux-packages-inside-a-docker-container

coding-to-music commented 3 years ago

https://www.gloomycorner.com/downloading-a-single-file-or-folder-from-a-github-repo/

Download a single file from a GitHub repo Download a file with its raw URL.

Browser to the file on GitHub you are want to download, right click the raw button to get its rawURL. Use curl command line tool or something like that to download the file:

Download a file and write it to a file

$ curl https://raw.githubusercontent.com/[username]/[repo-name]/[branch-name]/[file-path]/somefile.js > my-named-file.js

Other usages

Use -o to specifiy the output file name

$ curl -o my-named-file.js https://raw.githubusercontent.com/[username]/[repo-name]/[branch-name]/[file-path]/somefile.js

Use -O to specify the file name in the end of the URL as the output file

$ curl -O https://raw.githubusercontent.com/[username]/[repo-name]/[branch-name]/[file-path]/somefile.js

Download multiple files

$ curl –O [URL1] –O [URL2]

Download with a proxy

$ curl -x [proxysever.test.com:3128] -O [URL]

coding-to-music commented 3 years ago

Download a single folder from a GitHub repo

  1. Use DownGit for temporary usage If this is a temporary usage and you have not installed Subversion, DownGit is a good option to do this. This tool uses GitHub’s REST API to achieve that.

It’s super easy to use:

Go to DownloadGit, input the URL of the file or folder you want to download like https://github.com/gloomic/phaser-flappy-bird/tree/main/screenshots, click Download button.

coding-to-music commented 3 years ago

Use Subversion for usual usage Although GitHub does not support git-archive, but it supports some Subversion features that we can use to download a file or a folder. If you have not Subversion installed, install it (For Windows, just install TortoiseSVN).

You need to change the URL to a file or folder, replace tree/[branch] with trunk:

$ svn export https://github.com/gloomic/phaser-flappy-bird/trunk/screenshots Resources Stackoverflow: Download a single folder from GitHub Download Git repo Apache Suberversion

GitHub REST API

coding-to-music commented 3 years ago

Use Digitalocean marketplace image for docker Has git Has docker However, needed to add my git credentials email and username needed to install npm my dotfile aliases such as ll were in the remote container Would like to be able to create via the command line