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

handy xephyr script #176

Merged
merged 3 commits into from
Sep 10, 2019
Merged

handy xephyr script #176

merged 3 commits into from
Sep 10, 2019

Conversation

dradetsky
Copy link
Contributor

@dradetsky dradetsky commented Sep 2, 2019

Several times I've started to fix something or other in notion and run aground on the ship of I-dont-know-offhand-how-to-quickly-test-this-change.

So I made up a little xephyr script and I figured it would be a good thing to add to the repo in the utils area, since I can't be the only one who doesn't use this everyday.

This depends on #174 and (sort of) on #175. Maybe I should have merged those into this PR? I dunno. rebased

@dradetsky
Copy link
Contributor Author

In #174 @raboof said

Some documentation (or even scripts) on how to do that for common scenario's might be nice, but that could be a subsequent PR.

I agree & I'll break src_search_dirs into a separate script & write it up a bit. Stay tuned for further commits!

@dradetsky
Copy link
Contributor Author

@raboof broke out the script as threatened.

Copy link
Owner

@raboof raboof left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

...
```

To run notion inside an existing X session, you may find it useful to
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Might deserve its own subsection

@raboof raboof merged commit d860c04 into raboof:master Sep 10, 2019
@raboof raboof added the development issues that don't impact end users directly label Dec 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
development issues that don't impact end users directly
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants