Skip to content

Commit 6b7e859

Browse files
chore: integrate PR idank#345 (Python 3 migration + Copilot fixes) into community-integration-2025
2 parents 4283791 + c7294f7 commit 6b7e859

File tree

3 files changed

+11
-5
lines changed

3 files changed

+11
-5
lines changed

README.md

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ This is a community-maintained fork of [idank/explainshell](https://github.com/i
1313

1414
## 🆕 What's New in This Fork
1515

16+
This fork integrates **6 valuable community pull requests** from the original repository:
1617
This fork integrates **6 valuable community pull requests** from the original repository:
1718

1819
| Feature | Status | PR | Contributor |
@@ -26,6 +27,15 @@ This fork integrates **6 valuable community pull requests** from the original re
2627

2728
**See [COMMUNITY_INTEGRATION.md](./COMMUNITY_INTEGRATION.md) for detailed information.**
2829

30+
## ⚠️ Manpages Status
31+
32+
> [!IMPORTANT]
33+
>
34+
> explainshell is actively maintained in terms of keeping it healthy and functional -- issues are addressed, and the core remains stable.
35+
>
36+
> However, please note that the **manpages are outdated**. The previous system for generating them was unsustainable, and they haven't been updated in some time. There are currently **no active plans** to revise this mechanism.
37+
>
38+
> If you're relying on manpages, be aware that they may not reflect the latest behavior. Contributions in this area are welcome but would require rethinking the documentation pipeline.
2939
---
3040

3141
## 📋 Table of Contents

explainshell/web/static/js/es.js

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1151,10 +1151,6 @@ $(document).ready(function() {
11511151
|| (window.matchMedia("(prefers-color-scheme: dark)").matches ? 'dark' : 'default')
11521152
|| 'default';
11531153

1154-
if (!docCookies.getItem(themeCookieName)) {
1155-
var selectedTheme = 'default';
1156-
setTheme(selectedTheme); // to set the correct css file and data-theme
1157-
}
11581154

11591155
$("#themeContainer .dropdown-menu a").click(function() {
11601156
setTheme($(this).attr('data-theme-name'));

runserver.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
# activate logging and redirect all logs to loguru
1111
logging.basicConfig(handlers=[InterceptHandler()], level=logging.DEBUG, force=True)
1212

13-
if len(config.HOST_IP) > 1:
13+
if config.HOST_IP:
1414
app.run(debug=config.DEBUG, host=config.HOST_IP)
1515
else:
1616
app.run(debug=config.DEBUG)

0 commit comments

Comments
 (0)