避免在SSH命令中区分大小写

Question

我已将GitHub存储库克隆到服务器，并且为了运行第二个命令，我发现了文件夹问题：

逻辑

存储库将克隆到新的文件夹中，并以与存储库名称相同的名称与之匹配：

public_html > Resto

然后我需要输入该Resto文件夹以运行第二个命令，但它会返回

No such file or directory 

代码

$command1 = 'cd '.$destination.''; //get public_html folder
$command2 = 'git clone '.$repos->repository.''; //clone repo in public_html (it creates new folder same as repo name)
$command3 = 'cd '.$repos->name.''; //get repo name and enter new folder same as repo name
$command4 = 'composer install'; //run new command in repo folder

问题

这里的问题是GitHub提供resto之类的名称，而在我的public_html中创建的文件夹被命名为Resto，因此涉及大写字母R。

我需要什么

我需要让我的$command3忽略大小写，并输入该文件夹，而不考虑大小写R或文件夹名称中是否有空格（以后将用于其他克隆）

知道怎么做吗？

Answer 1

您可以specify where to clone：

git clone <repository> [<directory>]