Как мне получить имя пользователя в Makefile?

Я делаю простую игру для Ubuntu, и для обновления списка рекордов ей нужен единственный файл во время выполнения, названный 'highscores.bin'.

Я хочу поместить этот файл в

/home/(USER)/.game_name

Я немного исследовал и обнаружил, что из Makefile я могу получить переменную окружения $ USER. Итак, в Makefile Для цели 'install' я добавил:

mkdir -p $(DESTDIR)home/$$USER/.game_name

Но когда я запускаю 'sudo make install', Makefile устанавливает его как:

/home/root/.game_name

Как я могу получить имя пользователя (не root) в Makefile?

PS: Я пишу Makefile вручную. Нет ./configure

P.S.2: Я не хочу делать

mkdir -p ~/.game_name

, потому что я хочу иметь возможность изменить DESTDIR, если я хочу установить во временный каталог.

9
задан Vadim Kotov 5 July 2017 в 17:23
поделиться