ubuntu - 如何授予makefile复制文件夹的权限？

Question

这是代码:

    userPath=$(shell $$HOME)

    move:
        #what is the command?
        cp -r Minesweeper $(userPath)/

这是错误消息

/bin/sh: 1: /home/daniel: Permission denied
cp -r Minesweeper /
cp: cannot create directory '/Minesweeper': Permission denied
Makefile:10: recipe for target 'move' failed
make: *** [move] Error 1

肯定有一些在终端中执行的命令可以授予makefile的权限，但是我需要在makefile中执行一个命令。

PS:我的ubuntu版本是ubuntu 18.04

Answer 1

Makefile本身没有或没有权限。错误消息说运行此 Makefile 的用户没有所需的权限。但这与权限无关。您会注意到错误表明您无法写入根目录，这当然是您既不想也不需要的(即使您认为自己想要，也不应该被允许)。

第一条错误消息是因为 $(shell $$HOME)不是一个有效的命令。一个有效的命令看起来像 $(shell echo "$$HOME") ;但实际上，这完全没有必要。

第二个错误是因为第一个赋值返回了一个空变量，因为第一个错误。

不需要 $(shell ...) 的原因这里是运行命令的 shell 完全能够扩展 $$HOME通过它自己。事实上，make 也可以。也是(尽管语法是 ${HOME} 简单明了)。

move:
        cp -r Minesweeper ${HOME}/