Skip to content

Conversation

@wkpark
Copy link
Contributor

@wkpark wkpark commented Oct 11, 2023

Description

  • rename webu-user.bat to webui-user.bat.in and copy it if webui-user.bat does not exist to avoid version control issues.
  • Please see also PR Add settings file #148

Checklist:

@wkpark wkpark requested a review from AUTOMATIC1111 as a code owner October 11, 2023 13:40
@wkpark wkpark changed the title rename webu-user.bat to webui-user.bat.in and copy it conditionally t… rename webu-user.bat to webui-user.bat.in and copy it conditionally Oct 11, 2023
@AUTOMATIC1111
Copy link
Owner

The instruction for the user is to run webui-user.bat and that file would be missing if this is to be merged.

@wkpark
Copy link
Contributor Author

wkpark commented Oct 14, 2023

The instruction for the user is to run webui-user.bat and that file would be missing if this is to be merged.

ok. The instruction has been changed/added.

@AUTOMATIC1111
Copy link
Owner

Well, the problem is there are lots of tutorials al over the internet. You changed one here, what about all others?

@wkpark wkpark mentioned this pull request Oct 14, 2023
4 tasks
@wkpark
Copy link
Contributor Author

wkpark commented Oct 14, 2023

Well, the problem is there are lots of tutorials al over the internet. You changed one here, what about all others?

understood, will post another PR, like PR #148 separately.

Please see PR #13638

@AUTOMATIC1111
Copy link
Owner

#13638 is merged so I'm closing this

@wkpark wkpark deleted the user-settings branch October 15, 2023 09:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants