Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

.properties file is not create if project is imported and not cloned #851

Closed
guillep opened this issue Jun 12, 2018 · 1 comment
Closed
Milestone

Comments

@guillep
Copy link
Member

guillep commented Jun 12, 2018

  • clone an empty repository from the command line
  • import that repository from the disk into iceberg
  • commit

Then that repository is in tonel format but does not have properties file.
If you try to open that repository from another image, it will behave strangely.

For now, a workaround is to create a .properties file with this content:

{
	#format : #tonel
}

in your src directory

@guillep
Copy link
Member Author

guillep commented Jun 28, 2018

This is not an issue anymore in latest dev.

@guillep guillep closed this as completed Jun 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant