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.

Sign up for GitHub

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

Jump to bottom

Feature/add-gitpod #3

Merged
merged 30 commits into from
Feb 3, 2023
Merged

Feature/add-gitpod #3

merged 30 commits into from
Feb 3, 2023

Conversation

stewartshea
Copy link
Contributor

Aims to resolve #2 while also adding some changes to support retaining log files.

@stewartshea
initial gitpod test
7f1d67a
@stewartshea
add .env
219bb69
@stewartshea
remove unsupported extension
42e2b3f
@stewartshea
chagne dockerfile strip out unneeded bits
05ca7ef
@stewartshea
mod gitpod
bfb5b57
@stewartshea
try image layering
16343f7
@stewartshea
try new app dir
9e15af5
@stewartshea
update images
dfcc977
@stewartshea
minor dep mods
54887fc
@stewartshea
minor mods
af42f1d
@stewartshea
image updates
aea6bc7
@stewartshea
image updates
690e06b
@stewartshea
update docker image
a80a090
@stewartshea
update init and pyenv docker step
b28e509
@stewartshea
fix pyenv
951c9a1
@stewartshea
update gitignore
d4d2690
@stewartshea
play with workspace settings
adec1d4
@stewartshea
update path
ba14c98
@stewartshea
change dockerfile
568b09e
@stewartshea
cleanup
8f6c64b
@stewartshea
fix cmd
8daf7bd
@stewartshea
move settings.json to init
9d7b107
@stewartshea
switch setting to before
25a66d6
@stewartshea
fix tasks
0b2c4bf
@stewartshea
update
f435e8b
@stewartshea
update ro files
b45094c
@stewartshea
add workdir env to non gitpod dockerfile
d0e15fc
@stewartshea
test ro updates with adding log dir as env
daea59c
@stewartshea
switch to upper case env vars
e525916
@stewartshea
Copy link
Contributor Author

Leaving in draft until I test in codespaces.

@stewartshea stewartshea marked this pull request as ready for review February 3, 2023 01:07
@stewartshea stewartshea requested a review from jon-funk February 3, 2023 01:07
@jon-funk jon-funk merged commit d6e3a94 into main Feb 3, 2023
@jon-funk jon-funk deleted the feature/add-gitpod branch February 3, 2023 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jon-funk jon-funk jon-funk approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[Enhancement] Add gitpod
2 participants
@stewartshea @jon-funk