Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

.dots and bootstrap.sh refactor #59

Closed
wants to merge 9 commits into from

Conversation

jeffzi
Copy link

@jeffzi jeffzi commented Feb 28, 2017

I took the ideas from #42 a bit further :

Refactor .dots:

  • Rename .dots to setup.sh. The name .dots doesn't describe the script's purpose and is not consistent with other installation scripts.
  • Remove warning message because it is duplicated in dots.sh

bootstrap.sh had 2 separate functions and has been split to reflect them:

  • update.sh : sync dev-setup repo to the local working directory if repo was cloned to working directory.
  • dots.sh : sync dots files to local home directory .

I also updated the README to reflect those changes.

Jean-Francois Zinque added 9 commits February 28, 2017 16:38
.dots ignored bootstrap.sh and used the hard-coded original dev-setup by donnemartin
bootstrap.sh copied all the installation files to the home directory.
Clean up .dots: 
* Rename .dots to setup.sh. The name ".dots" doesn't describe the script purpose and is not consistent with other installation scripts.
*  Remove warning message because it is duplicated in dots.sh

bootstrap.sh had 2 separate functions and had been split to reflect them:
* sync.sh : sync dev-setup repo to the local working directory if repo was cloned to local machine.
* dots.sh : sync dots files to home user directory .
@donnemartin
Copy link
Owner

Hi @dweawyn, thanks for the PR! I've been tied up lately, hope to review this in the next few weeks.

@jeffzi jeffzi closed this Mar 13, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants