Comments (4)
Hi @rnbguy,
Cloning https://github.com/informalsystems/atomkraft-cosmos
does include .atomkraft/
dir and atomkraft
command does identify it as valid project.
If a project does not have these 3 toml config files, then giving user the prompt to populate these config files with default config might work. Or this can be done in atomkraft init .
after doing cd <projectDir>
just like git init .
does.
from atomkraft.
hey @udit-gulati , cloning a fresh atomkraft-cosmos
works fine at my end, but I only tried the main
branch. can you share any details of your set up?
from atomkraft.
This creates problems when someone tries to git-clone a project and execute
atomkraft
in it.You are outside of Atomkraft project ...
I suggest checking only for a valid
atomkraft.toml
in a directory.
@rnbguy it works fine on my end too. I was just mentioning that git cloning atomkraft-cosmos
does include .atomkarft/
directory so this issue does not occur.
from atomkraft.
ah yes, you're right - I misread your comment.
When I created atomkraft-cosmos
I was aware of this, so I manually fixed it by creating an empty .atomkraft/config.toml
.
Thanks for your suggestions. We wanted .atomkraft/config.toml
to represent the local atomkraft project config and execution state. That's why we wanted to exclude it from git history. So prompting the user when it is not present is a good idea
from atomkraft.
Related Issues (20)
- Adopt async runtime
- Failed GRPC connections with reduced block time
- Populate `.github` directory with useful templates and standard practices
- Installation instruction for pip are missing HOT 1
- Stuck at broadcasting when transaction fails
- Atomkraft with provenance binary (help needed) HOT 9
- MDX tests are failing non-deterministically on macOS runner HOT 2
- Upon starting testnet from Atomkraft " unsupported hash type ripemd160" error is received HOT 1
- Update existing .tla examples to follow the changes in the Apalache typesystem
- Support for custom modules in Atomkraft HOT 1
- vscode plugins question HOT 1
- Fix report directory
- Improve location of test files for `test` command
- Improving CONTRIBUTING.md
- `atomkraft init` should generate a `.gitignore` file
- `atomkraft init` should generate a hello world project instead of an empty one
- "None" parsing error HOT 3
- Atomkraft gives Parsing error when apalache not installed HOT 1
- Bech32 address derivation failing on Ethermint chains
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from atomkraft.