Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Migrate default /develop directory to home directory: 5pts

See original GitHub issue

dallinger develop currently collates the experiment files in the experiment directory, in a folder called /develop. This collated files include secret keys (e.g. AWS credentials), which seems dangerous as the user might accidentally commit these to Git. Proposal: to change the default location to the user’s home directory, e.g. ‘~/.dallinger_develop’.

Issue Analytics

  • State:closed
  • Created a year ago
  • Comments:7

github_iconTop GitHub Comments

pmcharrisoncommented, Sep 22, 2022

Yes sounds good!

jessesnydercommented, Sep 23, 2022

Repeated experiment loading was due to all the enqueued jobs which had piled up for each failed run. I’ve dealt with that by clearing the queue on failure.

Read more comments on GitHub >

github_iconTop Results From Across the Web

How to migrate the HOME directory on Linux - TechRepublic
I'll be demonstrating on Ubuntu Server 20.04, but this should work no matter the distribution you're using. How to locate the destination drive....
Read more >
How to Change the Default Home Directory of a User - Baeldung
In this tutorial, we're going to see how to change the default home directory of a user on Linux. By default, it's /home/{username}....
Read more >
How to easily migrate local users and groups from one system ...
Run the following command as root on the new (destination) system in a directory containing the four .bak files created in the previous...
Read more >
How do I change the default location for a users home ...
Open AppData Right Click on Local Click the location tab, and click Move Create an AppData folder somewhere, and create a folder Local...
Read more >
Command to change the default home directory of a user
Change the user's home directory + Move the contents of the user's current directory: ... -m (abbreviation for --move-home ) will move the...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Post

No results found

github_iconTop Related Hashnode Post

No results found