[PR #617] [CLOSED] support mksh as executing shell #874

New Issue

2025-12-29T01:29:46+01:00

adam commented

2025-12-29 01:29:46 +01:00

📋 Pull Request Information

Original PR: https://github.com/dehydrated-io/dehydrated/pull/617
Author: @mirabilos
Created: 12/19/2018
Status: ❌ Closed

Base: master ← Head: mksh-support

📝 Commits (5)

3d11d99 support mksh as executing shell
e95cf36 "$*" and "$@" never cause set -u failures
f4cd4cd Merge tag 'v0.6.5' into mksh-support
47aaf9b replace the new =~ with shell equivalents
2eb4759 Merge branch 'master' of github.com:dehydrated-io/dehydrated into mksh-support

📊 Changes

1 file changed (+14 additions, -8 deletions)

View changed files

📝 dehydrated (+14 -8)

📄 Description

Basic support for running under The MirBSD Korn Shell, the Unix shell with probably the most users (as it’s the Android default shell, among others):

set -f exists, nullglob doesn’t, but considering we use noglob, it shouldn’t be needed
use shell extglobs instead of regular expressions

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/dehydrated-io/dehydrated/pull/617 **Author:** [@mirabilos](https://github.com/mirabilos) **Created:** 12/19/2018 **Status:** ❌ Closed **Base:** `master` ← **Head:** `mksh-support` --- ### 📝 Commits (5) - [`3d11d99`](https://github.com/dehydrated-io/dehydrated/commit/3d11d99e57982fe08d1190b6b356304b09326ba2) support mksh as executing shell - [`e95cf36`](https://github.com/dehydrated-io/dehydrated/commit/e95cf366aefb92a42081659ee80e2fa5d576a01b) "$*" and "$@" never cause set -u failures - [`f4cd4cd`](https://github.com/dehydrated-io/dehydrated/commit/f4cd4cd0b08a3fb69a8a69781dc59568b6117299) Merge tag 'v0.6.5' into mksh-support - [`47aaf9b`](https://github.com/dehydrated-io/dehydrated/commit/47aaf9ba1f6c57c28c8955f15ca5b4986b33c259) replace the new =~ with shell equivalents - [`2eb4759`](https://github.com/dehydrated-io/dehydrated/commit/2eb475918c82871f3a9dc86809266b468e190363) Merge branch 'master' of github.com:dehydrated-io/dehydrated into mksh-support ### 📊 Changes **1 file changed** (+14 additions, -8 deletions) <details> <summary>View changed files</summary> 📝 `dehydrated` (+14 -8) </details> ### 📄 Description Basic support for running under [The MirBSD Korn Shell](http://www.mirbsd.org/mksh.htm), the Unix shell with probably the most users (as it’s the Android default shell, among others): - set -f exists, nullglob doesn’t, but considering we use noglob, it shouldn’t be needed - use shell extglobs instead of regular expressions --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

adam added the pull-request label 2025-12-29 01:29:46 +01:00

adam closed this issue

2025-12-29 01:29:46 +01:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: starred/dehydrated#874